From ae12d787b6b5859ed705b6b1844fbdb04bcba8a1 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 14 Jun 2007 09:59:33 +0000
Subject: isar-font-lock-local: tuned symbol regexp;

---
 isar/isar-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)))
 
-- 
cgit v1.2.3