-
Alexandre Duret-Lutz authored
* src/bin/ltlcheck.cc, src/bin/man/ltlcheck.x, src/tgbatest/ltlcheck.test, src/tgbatest/ltlcheck2.test: Rename as ... * src/bin/ltlcross.cc, src/bin/man/ltlcross.x, src/tgbatest/ltlcross.test, src/tgbatest/ltlcross2.test: ... these. * NEWS, src/bin/Makefile.am, src/bin/man/Makefile.am, src/tgbatest/Makefile.am: Adjust.
f3ef9de0