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 "&".85532dc8
To find the state of this project's repository at the time of any of these versions, check out the tags.