-
Alexandre Duret-Lutz authored
Fixes #372. * doc/org/tut90.org: New file. * doc/Makefile.am, doc/org/tut.org: Add it. * NEWS: Mention it. * python/spot/__init__.py: Allow make_twa_graph with default bdd_dict.
ad2f5524
To find the state of this project's repository at the time of any of these versions, check out the tags.