-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlscan.ll: Recognize ~, -->, and <--> operators from Goal, to ease the use of formulas provided by the Goal team. * src/ltltest/equals.test: Use these once, just to be on the safe side.
3278844c
To find the state of this project's repository at the time of any of these versions, check out the tags.