diff options
| author | Makarius Wenzel | 2007-06-14 09:59:33 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-06-14 09:59:33 +0000 |
| commit | ae12d787b6b5859ed705b6b1844fbdb04bcba8a1 (patch) | |
| tree | 74ea57e6d360f7c00b469e32f06932c6dba61ef1 | |
| parent | 5ac089f4c1c169b44e231d82b9f3a12de5c1fa18 (diff) | |
isar-font-lock-local: tuned symbol regexp;
| -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))) |