• Alexandre Duret-Lutz's avatar
    org: examples with alternating automata · 3d0a971a
    Alexandre Duret-Lutz authored
    * doc/org/tut23.org, doc/org/tut24.org, doc/org/tut31.org: New files.
    * doc/Makefile.am, doc/org/tut.org: Add them.
    * doc/org/hoa.org, doc/org/concepts.org: Adjust for alternation support.
    * NEWS: Add links.
    3d0a971a
concepts.org 43.5 KB