Add Isabelle lexer - Githubissues

rouge-ruby / rouge

A pure Ruby code highlighter that is compatible with Pygments

https://rouge.jneen.net/

Other

3.34k stars 741 forks source link

Open Dacit opened 3 years ago

Dacit commented 3 years ago

Isabelle See the reference for Isabelle (Isar) syntax.

There is a Pygments lexer, which was ported in the pull request below.

Additional context PR for a basic implementation that highlights Isar (without inner syntax): #1682

Dacit commented 3 years ago

It would be nice to get some feedback here, considering that the pull requests that implements this request has been open for over a month.