diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 4 | ||||
| -rw-r--r-- | isar/isar-syntax.el | 4 |
2 files changed, 4 insertions, 4 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) diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 54e344a8..32f06efd 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -191,8 +191,8 @@ ; (concat "\\<" s "\\>"))) ; l "\\|")) -(defconst isar-ext-first "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z]\\)") -(defconst isar-ext-rest "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z0-9'_]\\)") +(defconst isar-ext-first "\\(?:\\\\<\\^?[A-Za-z]+>\\|[A-Za-z]\\)") +(defconst isar-ext-rest "\\(?:\\\\<\\^?[A-Za-z]+>\\|[A-Za-z0-9'_]\\)") (defconst isar-long-id-stuff (concat "\\(?:" isar-ext-rest "\\|\.\\)+")) (defconst isar-id (concat "\\(?:" isar-ext-first isar-ext-rest "*\\)")) |