-
Alexandre Duret-Lutz authored
* src/ltltest/tostring.test, src/ltltest/parse.test: More tests. * src/ltlvisit/tostring.cc (is_bare_word): Quote U, W, M, R. * NEWS: Mention it.
bf3c3aec
To find the state of this project's repository at the time of any of these versions, check out the tags.