-
Alexandre Duret-Lutz authored
This fixes #119. * doc/org/tut21.org, doc/org/hoa.org, NEWS: Document it. * src/twa/twa.hh: Support it in automata. * src/twaalgos/hoa.cc, src/parseaut/parseaut.yy: Add I/O support. * src/twaalgos/minimize.cc, src/twaalgos/totgba.cc: Set weak automata on output. * src/tests/complement.test, src/tests/parseaut.test, src/tests/readsave.test, src/tests/remfin.test, src/tests/sccsimpl.test, src/tests/wdba2.test, wrap/python/tests/automata-io.ipynb: Adjust.
65488871