From 7c334c1d0f017bea405070145ce09da7d3f09c91 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 9 Aug 2001 21:04:20 +0000
Subject: fixed potential regexp typo (!?);

---
 isa/x-symbol-isabelle.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index c81721b9..bc00f5e2 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -35,7 +35,7 @@
 ;;  Super- and subscripts
 
 (defconst x-symbol-isabelle-font-lock-regexp
-  "\\(\\\\?\\\\<^su[bp]>\\)\\(\\\\?\\\\<[A-Za-z][A-Za-z0-9_']*>\\|[^\\]\\)"
+  "\\(\\\\?\\\\<\\^su[bp]>\\)\\(\\\\?\\\\<[A-Za-z][A-Za-z0-9_']*>\\|[^\\]\\)"
   "Regexp matching super- and subscript markers in Isabelle.")
 
 (defun x-symbol-isabelle-match-subscript (limit)
-- 
cgit v1.2.3