Alexandre Duret-Lutz authored
* src/ltlparse/ltlscan.ll: Accept as a proposition any alphanumeric string that is not an operator. * NEWS: Mention it. * src/ltltest/lbt.test: New file. Also tests previous patch. * src/ltltest/Makefile.am: Add it.edd687a3
To find the state of this project's repository at the time of any of these versions, check out the tags.