-
Alexandre Duret-Lutz authored
* python/spot/impl.i: Move the rendering code... * python/spot/__init__.py: ... here, and ajust it for MathJax. * tests/python/formulas.ipynb, tests/python/ltsmin-dve.ipynb: Adjust expected results.
36b5b76c
* python/spot/impl.i: Move the rendering code... * python/spot/__init__.py: ... here, and ajust it for MathJax. * tests/python/formulas.ipynb, tests/python/ltsmin-dve.ipynb: Adjust expected results.