-
Alexandre Duret-Lutz authored
Suggested by Victor Khomenko. * bin/ltl2tgba.cc, bin/ltldo.cc: Implement it. * doc/org/hierarchy.org: Use it. * tests/core/ltldo2.test: Test it. * bin/common_output.cc: Typo. * NEWS: Mention the new option.
cfd88807
To find the state of this project's repository at the time of any of these versions, check out the tags.