-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlparse.yy (parenthesedsubformula): Extract these rules from... (subformula): ... here, and use it to recognize "{SERE}(formula)". * src/ltlparse/ltlscan.ll: Recognize "|->" as "[]->". * src/ltltest/equals.test: Test these two new syntaxes.
1ecc6984