Skip to content
  • Alexandre Duret-Lutz's avatar
    dot: use tooltips with option "1" · 2775b0ab
    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.