• Alexandre Duret-Lutz's avatar
    ltlcross: support short names · 7de25a32
    Alexandre Duret-Lutz authored
    * NEWS: Mention it.
    * doc/org/ltlcross.org: Document it.
    * src/bin/ltlcross.cc: Implement it.
    * src/tgbatest/Makefile.am, src/tgbatest/defs.in,
    src/tgbatest/ltlcross4.test: Test it.
    7de25a32
ltlcross.org 31.5 KB