• Alexandre Duret-Lutz's avatar
    python: add a %%pml magic · 272daf62
    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
Makefile.am 9.94 KB