-
Alexandre Duret-Lutz authored
* src/twaalgos/dot.cc: Here. * NEWS, src/bin/common_aoutput.cc: Document it. * wrap/python/tests/automata.ipynb: Test it.
b3ff5655
* src/twaalgos/dot.cc: Here. * NEWS, src/bin/common_aoutput.cc: Document it. * wrap/python/tests/automata.ipynb: Test it.