• Alexandre Duret-Lutz's avatar
    org: Update results to new output · f9029858
    Alexandre Duret-Lutz authored
    The dotty output changed to be horizontal, and also
    the acceptance sets are now numbers.
    
    * doc/org/dstar2tgba.org, doc/org/ltl2tgba.org, doc/org/ltl2tgta.org,
    doc/org/satmin.org: Adjust these four.
    f9029858
ltl2tgta.org 9.44 KB