LTL Pygments Lexer

Python / Latex

1. Eclipse Pygments Style
2. Lexers
   1. Drools Pygments Lexer
   2. Crocopat Pygments Lexer
   3. OCL Pygments Lexer
   4. LTL Pygments Lexer
   5. Jess Pygments Lexer
   6. Jena Pygments Lexer
   7. Checks Pygments Style
   8. Xtend Pygments Style
   9. Alloy Pygments Style
   10. IDL Pygments Style
   11. 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.