Skip to content
  • Alexandre Duret-Lutz's avatar
    update to ltl3ba 1.1.1 · 25af8e7e
    Alexandre Duret-Lutz authored
    Compared to 1.1.0, -L/-M have been renamed to -M0,-M1.
    
    * bench/ltl2tgba/tools, bench/spin13/README,
    bench/spin13/run.sh, doc/org/ltlcross.org,
    wrap/python/ajax/spot.in: Adjust all references.
    25af8e7e
To learn more about this project, read the wiki.