There was an error while loading. Please reload this page.
Added edge labeling and PNG resizing (to improve animated gif creation)
New Binder urls
Preparing release 1.0.2 (PyPI is not easy)
Preparing release 1.0.1
Using absolute imports and fixing a bug, so closes #14
Merge pull request #13 from dirk-thomas/custom_highlight_color Add optional argument for custom highlight color
Testing with binder
Renamed to_gif in gif