-
Alexandre Duret-Lutz authored
* python/spot/__init__.py (setup): Reduce the default maximal width of automata so that Jupyter output does not add an horizontal scroll bar for a few pixels. * tests/python/automata-io.ipynb: Adjust.
9d7e6386
* python/spot/__init__.py (setup): Reduce the default maximal width of automata so that Jupyter output does not add an horizontal scroll bar for a few pixels. * tests/python/automata-io.ipynb: Adjust.