Imperial-Computing-Notes icon indicating copy to clipboard operation
Imperial-Computing-Notes copied to clipboard
verified publisher icon OliverKillane

Syntax highlighting for TLA source code

Open OliverKillane opened this issue 2 years ago • 1 comments

  • Add a basic script to tools to install the lexer (hwayne TLA lexer) within pygments
  • Switch TLA source code inputs to use lexer
  • Check possibility of highlighting .cfg files also

OliverKillane avatar Mar 15 '23 13:03 OliverKillane

Easiest way would probably just be a PR to add it to pygments, only need a simple RegexLexer

OliverKillane avatar Sep 27 '23 17:09 OliverKillane