-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlparse.yy: Make all the above operators right-associative. Also let `:' have precedence over `;'. * src/ltltest/reduccmp.test: Adjust for the `:' precedence. * doc/tl/tl.tex, NEWS: Document this.
ce437cd4
To find the state of this project's repository at the time of any of these versions, check out the tags.