• Alexandre Duret-Lutz's avatar
    org: typos · c37fedb0
    Alexandre Duret-Lutz authored
    Reported by Joachim Klein.
    
    * doc/org/ltl2tgba.org: Broken link.
    * doc/org/ltlcross.org: Two typos.
    c37fedb0
ltl2tgba.org 27.8 KB