diff options
Diffstat (limited to 'isa')
-rw-r--r-- | isa/x-symbol-isabelle.el | 7 |
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) |