Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    bin: use regexes to detect shorthands, and add support for owl-21.0 · f99ddef7
    Alexandre Duret-Lutz authored 
    Fixes #480.

* bin/common_trans.cc (shorthands_ltl, shorthands_autproc): Write
those lists using regexes.  Add entries for Owl 21.0.
(show_shorthands, tool_spec): Adjust to use those regexes.
* doc/org/autcross.org, doc/org/ltlcross.org, doc/org/ltldo.org:
Update the list of shorthands.
* tests/core/ltldo.test: Add a couple of tests.
* NEWS: Mention this new feature.
    f99ddef7
To find the state of this project's repository at the time of any of these versions, check out the tags.