-
Alexandre Duret-Lutz authored
Fixes #327. * spot/twaalgos/dot.cc: Emit a tooltip="..." for state names and labels that are disabled by option "1". * doc/org/tut51.org, tests/python/product.ipynb, NEWS: Discuss this. * tests/core/readsave.test, tests/python/alternation.ipynb, tests/python/automata.ipynb: Adjust test cases.
2775b0ab
To find the state of this project's repository at the time of any of these versions, check out the tags.