- Eclipse Pygments Style
- Lexers
- Drools Pygments Lexer
- Crocopat Pygments Lexer
- OCL Pygments Lexer
- LTL Pygments Lexer
- Jess Pygments Lexer
- Jena Pygments Lexer
- Checks Pygments Style
- Xtend Pygments Style
- Alloy Pygments Style
- IDL Pygments Style
- OWL Functional Pygments Style
I hacked together a very quick Eclipse Pygments Style for LTL and NuSMV. It's a very primitive version and currently only supports a few of the keywords that actually exist in the language; if you find missing keywords or other problems, please send through a patch or a feature request. You can download it from the IAML site.
It creates a code sample like this from this source .tex file.
Categories: Code Snippets | Todo