-
Alexandre Duret-Lutz authored
* src/bin/ltlcross.cc: Complement deterministic automata, and use them for additional intersection checks. * NEWS, doc/org/ltlcross.org, src/bin/man/ltlcross.x: Document it.
1029d08a
* src/bin/ltlcross.cc: Complement deterministic automata, and use them for additional intersection checks. * NEWS, doc/org/ltlcross.org, src/bin/man/ltlcross.x: Document it.