From 4f7848a7b2d161da04bc236647d0988bf3cfae65 Mon Sep 17 00:00:00 2001
From: Gerwin Klein
Date: Mon, 5 Apr 2004 02:24:43 +0000
Subject: fixed single char sub/super script in goals/response window

---
 isa/x-symbol-isabelle.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 9cb6a6f5..1b008e2d 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -111,12 +111,15 @@ or subscript tag."
   :group 'x-symbol-isabelle  
   :type 'regexp)
 
-(defcustom x-symbol-isabelle-single-char-regexp "\\\\\\\\?<[A-Za-z0-9_']+>\\|[^\\]"
+
+;; the [\350-\360].\350 part is there to enable single char sub/super scripts
+;; with coloured Isabelle output. 
+(defcustom x-symbol-isabelle-single-char-regexp 
+  "[\350-\360].\350\\|[^\\]\\|\\\\\\\\?<[A-Za-z0-9_']+>"
   "Return regexp matching \<ident> or c for some char c."
   :group 'x-symbol-isabelle
   :type 'regexp)
 
-
 (defun x-symbol-isabelle-subscript-matcher (limit)  
   (block nil
     (let (open-beg open-end close-end close-beg script-type)
-- 
cgit v1.2.3