-
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
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.