-
Alexandre Duret-Lutz authored
* src/tgbaalgos/emptiness.hh (print_tgba_run): Reword the documentation after a report from Nikos Gorogiannis.
2422b63a
To find the state of this project's repository at the time of any of these versions, check out the tags.