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