* This package now provides only syntax highlighting. All roles and directives related to proofscape widgets are now deactivated here. Their development continues in the `pise/server` project.
0.3.2
Maintenance:
* Switch from `setup.py` to `setup.cfg`.
0.3.1
Bug Fixes:
* Syntax highlighting: do not require spaces around `=` in `meson` definition. * Syntax highlighting: recognize `subdeduc` as node type.
0.3.0
Enhancements:
* Add syntax highlighting for `proofscape` and `meson` languages.
0.2.0
Breaking changes:
* `pfsc-defns` directive no longer accepts `:versions:` option.
Enhancements:
* New `pfsc_import_repos` config var accepts dictionary defining versions for imported repos globally.