diff options
| author | Makarius Wenzel | 2001-08-09 21:04:20 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-08-09 21:04:20 +0000 |
| commit | 7c334c1d0f017bea405070145ce09da7d3f09c91 (patch) | |
| tree | 1707f42ef29990d5fcb6a8056d27f6ba9fb076a2 | |
| parent | 702a2031010a9500158ca114e234525f1dd190b4 (diff) | |
fixed potential regexp typo (!?);
| -rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index c81721b9..bc00f5e2 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -35,7 +35,7 @@ ;; Super- and subscripts (defconst x-symbol-isabelle-font-lock-regexp - "\\(\\\\?\\\\<^su[bp]>\\)\\(\\\\?\\\\<[A-Za-z][A-Za-z0-9_']*>\\|[^\\]\\)" + "\\(\\\\?\\\\<\\^su[bp]>\\)\\(\\\\?\\\\<[A-Za-z][A-Za-z0-9_']*>\\|[^\\]\\)" "Regexp matching super- and subscript markers in Isabelle.") (defun x-symbol-isabelle-match-subscript (limit) |