-
Alexandre Duret-Lutz authored
Fixes #162. * python/spot/ltsmin.i: Implement the magic. * NEWS: Mention it. * tests/python/ltsmin-pml.ipynb: New file. * tests/Makefile.am, doc/org/tut.org: Add it. * tests/python/ipnbdoctest.py: Adjust.
272daf62
To find the state of this project's repository at the time of any of these versions, check out the tags.