diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-unicode-tokens.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 18e75727..e896267e 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -23,11 +23,8 @@ (defconst isar-control-char-format-regexp "\\(\\\\<\\^%s>\\)\\([^\\]\\|\\\\<[A-Za-z]+>\\)") -(defconst isar-control-region-format-beg "\\<^%s>") -(defconst isar-control-region-format-end "\\<^%s>") (defconst isar-control-char-format "\\<^%s>") - (defconst isar-control-characters '(("Subscript" "sub" sub) ("Id subscript" "isub" sub) @@ -68,7 +65,7 @@ ;(defconst isar-token-variant-format-regexp ; "\\\\<\\(%s\\)\\([:][a-zA-Z0-9]+\\)?>") ; syntax change required (defconst isar-token-variant-format-regexp - "\\\\<\\(%s\\)\\([0-9]+\\)?>") ; unofficial interpretation of usual syntax + "\\\\<\\(%s\\)[0-9]*>") ; unofficial interpretation of usual syntax (defconst isar-greek-letters-tokens '(("alpha" "α") |