-
Alexandre Duret-Lutz authored
Suggested by František Blahoudek. * bin/ltlcross.cc: Implement this. * NEWS, doc/org/ltlcross.org: Document it. * tests/core/ltlcross4.test: Test it.
9d70eeef
Suggested by František Blahoudek. * bin/ltlcross.cc: Implement this. * NEWS, doc/org/ltlcross.org: Document it. * tests/core/ltlcross4.test: Test it.