From 37ce3dc6175e460b9d92694989c7c987bc7eee42 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 8 May 2007 15:07:18 +0000
Subject: x-symbol-isabelle-font-lock-regexp: demand subsequent non-space
 character;

---
 isar/x-symbol-isabelle.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/isar/x-symbol-isabelle.el b/isar/x-symbol-isabelle.el
index 58233920..3f06e91a 100644
--- a/isar/x-symbol-isabelle.el
+++ b/isar/x-symbol-isabelle.el
@@ -91,7 +91,7 @@ See language access `x-symbol-LANG-subscript-matcher'."
   :group 'x-symbol-isabelle
   :type 'function)
 
-(defcustom x-symbol-isabelle-font-lock-regexp "\\\\<\\^[ib]?su[bp]>"
+(defcustom x-symbol-isabelle-font-lock-regexp "\\(\\\\<\\^[ib]?su[bp]>\\)\\S-"
   "Regexp matching the start tag of Isabelle super- and subscripts."
   :group 'x-symbol-isabelle
   :type 'regexp)
@@ -122,8 +122,8 @@ or subscript tag."
   (block nil
     (let (open-beg open-end close-end close-beg script-type)
       (while (re-search-forward x-symbol-isabelle-font-lock-regexp limit t)
-        (setq open-beg (match-beginning 0)
-              open-end (match-end 0)
+        (setq open-beg (match-beginning 1)
+              open-end (match-end 1)
               script-type (if (eq (char-after (- open-end 2)) ?b)
                               'x-symbol-sub-face
                            'x-symbol-sup-face))
-- 
cgit v1.2.3