-
Alexandre Duret-Lutz authored
Part of #38. * bin/ltlcross.cc: Implement it. * NEWS: Mention it. * doc/org/ltlcross.org: Adjust example. * tests/core/ltlcrossce2.test: New test case.
59efe470
To find the state of this project's repository at the time of any of these versions, check out the tags.