-
Alexandre Duret-Lutz authored
* spot/twaalgos/postproc.cc, spot/twaalgos/postproc.hh: Add options det-scc, det-simul, det-stutter. * bin/spot-x.cc: Document them. * doc/org/ltl2tgba.org: Illustrate one of them and link to the spot-x man page.
b066c6f3