Mmtpygments

Latest version: v1.0.0

Safety actively analyzes 682471 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

1.0.0

Added

- enlarged test base with more MMT repositories from the wild: it now amounts to **14 907 lines of code and highlighting works in 100% of those!**
- added highlighting support for

- structural features
- `implicit` and `total` structures
- `document` directives

Fixed

- fixed a lot of previously failing edge cases in lexing

0.4.0

Changed
- Improved documentation on installation and usage in readme.

Fixed
- Remove failing `import` statement in `setup.py` preventing installation via Pip.

0.3.1

Just version bumps to retrigger faulty Travis CI configurations to auto-deploy to PyPI.

0.3.0

Added
- MMT Lexer: Support for `meta` annotations in lexer, see [the rendered `meta-annotations.mmt`](https://comfreek.github.io/mmtpygments/mmtpygments/test/data/meta-annotations.mmt.html) for an example.
- MMT Lexer: More inspection/lexing of notations to be able to highlight pecifiers for argument positions, implicit arguments and so on as well.

Changed
- MMT Lexer: Output more meaningful token types when lexing. For the end user, this might mean that Pygments will render MMT code in slightly different color.

Security
- Updated all Python (PyPI) dependencies

0.2.0

Added
- First release, no detailled information available anymore.

Links

Releases

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.