-
Alexandre Duret-Lutz authored
* doc/org/ioltl.org: Mention ltl2dstar and the changes to the prefix parser. * doc/org/ltlcross.org: Mention bench/ltl2tgba/sum.py. * doc/org/tools.org: Bump version number.
d1ad7448
* doc/org/ioltl.org: Mention ltl2dstar and the changes to the prefix parser. * doc/org/ltlcross.org: Mention bench/ltl2tgba/sum.py. * doc/org/tools.org: Bump version number.