• Alexandre Duret-Lutz's avatar
    Do not recognize "*" as "and". This leaves room for an · 85532dc8
    Alexandre Duret-Lutz authored
    implementation of rational operators in a future version.
    * src/ltlparse/ltlscan.ll: Do not recognize "*".
    * wrap/python/cgi-bin/ltl2tgba.in: Undocument it.
    * NEWS: Mention this.
    * src/tgbatest/kv.test, src/tgbatest/ltl2tgba.test,
    src/tgbatest/reductgba.test: Replace "*" by "&".
To find the state of this project's repository at the time of any of these versions, check out the tags.