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
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 details)
Built Distribution
File details
Details for the file pygments-jml-key-0.1.2.tar.gz.
File metadata
- Download URL: pygments-jml-key-0.1.2.tar.gz
- Upload date:
- Size: 45.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 630de3572bd85605e8b90b6d9a9c040925f6b5e81a077eaa2be1ce8120c0dfc4 |
|
| MD5 | 02a40e2c8b3571b477685a387d24a3b2 |
|
| BLAKE2b-256 | 55e3c190d0ed99853a6be86ac18481762969384c807d0a9397b502b61e4ae0a6 |
File details
Details for the file pygments_jml_key-0.1.2-py3-none-any.whl.
File metadata
- Download URL: pygments_jml_key-0.1.2-py3-none-any.whl
- Upload date:
- Size: 46.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.4
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | c5af9affd800d8d093b9d5b9fcd72f9bcc39b37c3a136b7f22be0d45220f68bf |
|
| MD5 | a3baceccbc3e8c10d1f9f04cb890081e |
|
| BLAKE2b-256 | 6080bd6ffe085a6952e5cbe3ecb35e7dc86cb2d44b70c7005f6168847a3b52bc |
