-
Alexandre Duret-Lutz authored
* spot/twaalgos/dot.cc: Display common acceptance names. * NEWS: Mention the change. * doc/org/oaut.org: Adjust text. * tests/core/alternating.test, tests/core/readsave.test, tests/python/_altscc.ipynb, tests/python/alternation.ipynb, tests/python/atva16-fig2a.ipynb, tests/python/atva16-fig2b.ipynb, tests/python/automata.ipynb, tests/python/decompose.ipynb, tests/python/gen.ipynb, tests/python/highlighting.ipynb, tests/python/product.ipynb, tests/python/randaut.ipynb: Adjust test cases.
1cc45b24