steinhardt21 / alloy-latex-highlighting Goto Github PK

Alloy syntax highlighting for the "listings package" (Latex) (It follows MIT's Alloy environment color style).

Based on this gist

There are some problems with the => symbol. Just use implies instead.

Dowload the .sty file you find in this repo.

Add the dependencies and the .sty file to your main file :

\usepackage[dvipsnames]{xcolor}
\usepackage{listings}
\usepackage{alloy-style}

To use it just include your alloy source code where you want :

\lstinputlisting[language=alloy]{path-to-your-alloy-source-code}

Do what you want with this library.