diff options
| author | Gerwin Klein | 2003-10-16 23:47:14 +0000 |
|---|---|---|
| committer | Gerwin Klein | 2003-10-16 23:47:14 +0000 |
| commit | 827ddd2b4923e0f3fdf245c8abd3e9ff4c4d3dcb (patch) | |
| tree | 57e4888b62bfb2d42f60a92c47c8353ae72796a1 /isa | |
| parent | bc55a832aec523eed5a69ce76a77b0b4204fe232 (diff) | |
allow sub/super scripts in identifiers (\<^isub> and \<^isup>)
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index f9ebbe73..8fd73241 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -85,7 +85,7 @@ See `x-symbol-header-groups-alist'." ;;;=========================================================================== ;; DA: Apparently bold is no longer supported in X-Symbol 4.5 -;; \<^bold>, \<^sup>, and \<^sub>. +;; \<^bold>, \<^sup>, \<^sub>, \<^isub>, and \<^isup>. (defvar x-symbol-isabelle-subscript-matcher 'x-symbol-isabelle-subscript-matcher) @@ -108,7 +108,7 @@ See `x-symbol-header-groups-alist'." "Regexp matching bold marker in Isabelle.") (defconst x-symbol-isabelle-font-lock-scripts-regexp - (x-symbol-isabelle-make-ctrl-regexp "su[bp]") + (x-symbol-isabelle-make-ctrl-regexp "i?su[bp]") "Regexp matching super- and subscript markers in Isabelle.") (defun x-symbol-isabelle-match-bold (limit) |