• Alexandre Duret-Lutz's avatar
    org: update for 1.0.1 · d1ad7448
    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