/pygments-maude

Pygments lexers for Maude, both batch and interactive.

Primary LanguagePythonMIT LicenseMIT

Pygments Lexers for Maude

This Python module provides Pygments lexers for the Maude language and its interactive environment; this allows Pygments to highlight these languages just like any others it supports.

Command-Line Usage

In order to use these lexers on the command line, pass the parameter -l /path/to/pygments_maude.py:MaudeLexer -x (for batch Maude code) or -l /path/to/pygments_maude.py:MaudeLogLexer -x (for Maude system interaction logs) to the pygmentize comand in place of a language flag (where /path/to/pygments_maude.py should be replaced by the actual local path to the file pygments_maude.py from this repository).

LaTeX/minted Usage

In order to use these lexers with LaTeX and minted, put the following lines into your document preamble:

\usepackage{xparse}
\NewExpandableDocumentCommand\maudeLexer{}{pygments_maude.py:MaudeLexer -x}
\NewExpandableDocumentCommand\maudeLogLexer{}{pygments_maude.py:MaudeLogLexer -x}

Then place the the file pygments_maude.py from this repository into the same directory as your document; you should now be able to use \maudeLexer and \maudeLogLexer as languages recognized by all minted commands. (Note that this will require a fairly recent version of minted, as well as a TeX install that supports LaTeX3.)