diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2005-09-28 22:09:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2005-09-28 22:09:07 +0000 |
| commit | a32b405467dde952d90223a2d14de250557d469b (patch) | |
| tree | 5aacd0bad312a4a55022ee5658c03a04f1cfe688 /isa/x-symbol-isabelle.el | |
| parent | 140b08af75134de26b05b5ff1ab7e32b0ca11984 (diff) | |
old specials are recogized again;
Diffstat (limited to 'isa/x-symbol-isabelle.el')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index a5fe0126..eb6facb7 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -113,9 +113,7 @@ or subscript tag." ;; the [\350-\357].\350\\|\^A[A-H].\^AA part is there to enable single ;; char sub/super scripts with coloured Isabelle output. (defcustom x-symbol-isabelle-single-char-regexp - (if (eq proof-assistant-symbol 'isar) - "\^A[A-H].\^AA\\|[^\\]\\|\\\\<[A-Za-z0-9_']+>" - "[\350-\357].\350\\|\^A[A-H].\^AA\\|[^\\]\\|\\\\\\\\?<[A-Za-z0-9_']+>") + "[\350-\357].\350\\|\^A[A-H].\^AA\\|[^\\]\\|\\\\\\\\?<[A-Za-z0-9_']+>" "Return regexp matching \<ident> or c for some char c." :group 'x-symbol-isabelle :type 'regexp) |