• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 59.5 KB