diff options
| author | David Aspinall | 2009-05-26 09:10:11 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-05-26 09:10:11 +0000 |
| commit | c28a965bd7a90be9f11843ef96549ab8269d43dc (patch) | |
| tree | ee10d4e7a47ea83ce5d4559ed5121aad9908560b | |
| parent | 276dcd979160b650a0e59a49a64cec48628da82e (diff) | |
Hide goals marker start again (Isabelle2009 doesn't markup subgoals)
| -rw-r--r-- | isar/isar-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 4002f1b8..1232d4be 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -369,7 +369,7 @@ matches contents of quotes for quoted identifiers.") (defvar isar-output-font-lock-keywords-1 (list - '("\^A[IJKLMNV]" (0 '(face nil invisible t) t)) + '("\^A[IJKLMNOPV]" (0 '(face nil invisible t) t)) (isar-output-flkprops "\^AW" "\\(?:[^\^A]\\|\^A[^X]\\)*" "\^AX" '(face (:underline t) mouse-face 'highlight sendback t)) |