-
Alexandre Duret-Lutz authored
Fixes #246. * bin/genltl.cc: Implement it. * bin/man/genltl.x, doc/org/genltl.org, NEWS: Document it. * tests/core/ltl2tgba2.test: Test it.
08c153d3
To find the state of this project's repository at the time of any of these versions, check out the tags.