Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    dot: add an option to output id= attributes · 4855d3c8
    Alexandre Duret-Lutz authored 
    This will be handy latter to develop widgets with interactive
highlighting of automata.

* spot/twaalgos/dot.cc: Implement it.
* bin/common_aoutput.cc, NEWS, doc/org/oaut.org,
doc/org/spot.css: Document it.
* tests/core/alternating.test, tests/core/readsave.test,
tests/core/sccdot.test: Test it.
    4855d3c8
To find the state of this project's repository at the time of any of these versions, check out the tags.