Page MenuHomeIsabelle/Phabricator

Syntax highlighting via pygments (for Isabelle/ML, Isabelle/Isar etc.)
Open, LowPublic


Phabricater supports pygments for syntax highlighting, but the default setup lacks Isabelle/ML, Isabelle/Isar etc.

Event Timeline

makarius triaged this task as Low priority.
makarius created this task.
makarius created this object with visibility "Public (No Login Required)".
makarius created this object with edit policy "Task Author".
makarius added a project: phabricator-setup.