diff options
| -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 51fc72b4..59e781a6 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -374,7 +374,7 @@ matches contents of quotes for quoted identifiers.") (defconst isar-font-lock-local - '("\\(\\\\<\\^loc>\\)\\(\\\\+<[A-Za-z]+>\\|.\\)" + '("\\(\\\\<\\^loc>\\)\\([^\\]\\|\\\\<[A-Za-z]+>\\)" (1 x-symbol-invisible-face t) (2 proof-declaration-name-face prepend))) |