-
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