Skip to content

Instantly share code, notes, and snippets.

@bartv
Created May 24, 2014 19:13
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bartv/6ecc2ef0a69ac56f7a61 to your computer and use it in GitHub Desktop.
Save bartv/6ecc2ef0a69ac56f7a61 to your computer and use it in GitHub Desktop.
\lstdefinelanguage{IMP}{
morekeywords={typedef, implementation, as, implement, is, end, select, entity, matching, self, index, extends,include, for, using, enum, with, parent},
morecomment=[l]{\#},
morestring=[b]",
breaklines = true,
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment