• Alexandre Duret-Lutz's avatar
    Make spot.py a python package instead of a module · 215fcb79
    Alexandre Duret-Lutz authored
    * python/spot.py, python/spot_impl.i: Rename as...
    * python/spot/__init__.py, python/spot/impl.i: ... these.
    * python/Makefile.am, tests/run.in: Adjust for new paths.
    * tests/python/automata-io.ipynb, tests/python/automata.ipynb,
    tests/python/decompose.ipynb, tests/python/piperead.ipynb,
    tests/python/testingaut.ipynb: Adjust messages to refer to spot.impl
    instead of spot_impl.
    215fcb79
piperead.ipynb 32.7 KB