https://github.com/pthariensflame/pygments-maude

Pygments lexers for Maude, both batch and interactive.
https://github.com/pthariensflame/pygments-maude

maude pygments-lexer syntax-highlighting

Last synced: 9 days ago
JSON representation

Pygments lexers for Maude, both batch and interactive.

• Host: GitHub
• URL: https://github.com/pthariensflame/pygments-maude
• Owner: pthariensflame
• License: mit
• Created: 2017-09-23T02:27:08.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-10-03T03:14:38.000Z (over 7 years ago)
• Last Synced: 2025-01-19T19:51:07.258Z (10 days ago)
• Topics: maude, pygments-lexer, syntax-highlighting
• Language: Python
• Homepage:
• Size: 14.6 KB
• Stars: 3
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Pygments Lexers for Maude

This [Python](https://www.python.org) module provides

[Pygments](http://pygments.org) lexers for the

[Maude](http://maude.cs.illinois.edu/w/index.php?title=The_Maude_System)

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`](https://raw.githubusercontent.com/pthariensflame/pygments-maude/master/pygments_maude.py)

from this repository).

## LaTeX/`minted` Usage

In order to use these lexers with [LaTeX](http://www.latex-project.org) and

[`minted`](https://github.com/gpoore/minted), put the following lines

into your document preamble:

``` latex

\usepackage{xparse}

\NewExpandableDocumentCommand\maudeLexer{}{pygments_maude.py:MaudeLexer -x}

\NewExpandableDocumentCommand\maudeLogLexer{}{pygments_maude.py:MaudeLogLexer -x}

```

Then place the the file

[`pygments_maude.py`](https://raw.githubusercontent.com/pthariensflame/pygments-maude/master/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](https://www.latex-project.org/latex3/).)