-
Alexandre Duret-Lutz authored
Fixes #245. * bin/genltl.cc: Add the option. * bin/man/genltl.x: Add reference. * tests/core/ltl2tgba2.test: Use these patterns. * doc/org/genltl.org, NEWS: Document the options.
1c2a7f3d
To find the state of this project's repository at the time of any of these versions, check out the tags.