-
Alexandre Duret-Lutz authored
* src/bin/ltlcross.cc: Implement it. * src/bin/man/ltlcross.x, doc/org/ltlcross.org, NEWS: Document it. * src/tgbatest/ltl2dstar.test, src/tgbatest/ltlcross3.test: Test it.
d719c706
* src/bin/ltlcross.cc: Implement it. * src/bin/man/ltlcross.x, doc/org/ltlcross.org, NEWS: Document it. * src/tgbatest/ltl2dstar.test, src/tgbatest/ltlcross3.test: Test it.