• Alexandre Duret-Lutz's avatar
    org: fix -o example · cb9867b7
    Alexandre Duret-Lutz authored
    * doc/org/oaut.org: Adjust the parameters of randaut so that we get a
    mix of deterministic and nondeterministic automata.
    cb9867b7
oaut.org 28.4 KB