fixed single char sub/super script in goals/response window

1 files 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)