diff options
| author | Makarius Wenzel | 2009-03-31 16:08:10 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-03-31 16:08:10 +0000 |
| commit | 8e13538bbf73e43eca3e2fe421373910e2c8796d (patch) | |
| tree | 378dc1acc36b754bfa842706f8c901020854c545 | |
| parent | 85e5a5b713e6a9550d1a88a783392f59048f87df (diff) | |
isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and added special "L", special "V";
| -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 239a02ec..bb231871 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -366,7 +366,7 @@ matches contents of quotes for quoted identifiers.") (defvar isar-output-font-lock-keywords-1 (list - '("\^AI\\|\^AJ\\|\^AK\\|\^AM\\|\^AN\\|\^AO\\|\^AP" (0 '(face nil invisible t) t)) + '("\^A[IJKLMNOPV]" (0 '(face nil invisible t) t)) (isar-output-flk "\^A0" "\\(?:[^\^A]\\|\^A[^1]\\)*" "\^A1" 'proof-warning-face) ;; done generically at the moment: ;; (isar-output-flk "\^AM" "\\(?:[^\^A]\\|\^A[^N]\\)*" "\^AN" 'proof-error-face) |