Skip to content
  • Alexandre Duret-Lutz's avatar
    rename ltlcheck as ltlcross · f3ef9de0
    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