-
Alexandre Duret-Lutz authored
* src/tgbaalgos/dotty.cc, src/taalgos/dotty.cc: Honnor the SPOT_DOTEXTRA environement variable. * src/tgbatest/readsave.test, wrap/python/tests/automata.ipynb: Test it. * NEWS, src/bin/man/spot-x.x: Document it.
7caf2b83
To find the state of this project's repository at the time of any of these versions, check out the tags.