Page MenuHomeIsabelle/Phabricator
Create Task
Maniphest T5

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

Description

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

Event Timeline

makarius claimed this task.Sep 27 2019, 7:11 PM
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.