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 OCL. 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.