Pygments lexer for the Java Modeling Language and KeY Theorem Prover files
Project description
Pygments lexer for the Java Modeling Language and KeY Theorem Prover files
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pygments-jml-key-0.1.2.tar.gz
(45.3 kB
view hashes)
Built Distribution
Close
Hashes for pygments_jml_key-0.1.2-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c5af9affd800d8d093b9d5b9fcd72f9bcc39b37c3a136b7f22be0d45220f68bf |
|
MD5 | a3baceccbc3e8c10d1f9f04cb890081e |
|
BLAKE2b-256 | 6080bd6ffe085a6952e5cbe3ecb35e7dc86cb2d44b70c7005f6168847a3b52bc |