-
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
Part of #38. * bin/ltlcross.cc: Implement it. * NEWS: Mention it. * doc/org/ltlcross.org: Adjust example. * tests/core/ltlcrossce2.test: New test case.