• Alexandre Duret-Lutz's avatar
    Cleanup the help of ltl2tgba. · c9b65cff
    Alexandre Duret-Lutz authored
    * src/tgbatest/ltl2tgba.cc (syntax): Reorganize the help text, so
    that we can find options without resorting to grep...  Also
    cleanup the program name if it is a libtool wrapper.
    c9b65cff
To find the state of this project's repository at the time of any of these versions, check out the tags.