Syntax highlighting for TLA source code

OliverKillane / Imperial-Computing-Notes

A selection of textbook-like course notes for the Imperial College Computing modules.

MIT License

60 stars 5 forks source link

Open OliverKillane opened 1 year ago

OliverKillane commented 1 year ago

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 commented 1 year ago

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