-
Alexandre Duret-Lutz authored
* src/bin/common_trans.cc: Implement shorthands. * doc/org/ltlcross.org, doc/org/ltldo.org: Document them. * src/tgbatest/ltldo2.test: Quick test. * NEWS: Mention it.
a24a0219
To find the state of this project's repository at the time of any of these versions, check out the tags.