-
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
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.