• 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
ltlcross.org 42.4 KB