rouge icon indicating copy to clipboard operation
rouge copied to clipboard
verified publisher icon rouge-ruby

Add Isabelle lexer

Open Dacit opened this issue 4 years ago • 1 comments

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 avatar Mar 16 '21 14:03 Dacit

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.

Dacit avatar Mar 31 '21 13:03 Dacit