-
Alexandre Duret-Lutz authored
Reported by Victor Khomenko. * NEWS, doc/tl/tl.tex, spot/tl/formula.cc: Fix the definition. * tests/core/ltl2tgba.test: Add some test cases.
66a3b6f7
To find the state of this project's repository at the time of any of these versions, check out the tags.