diff options
| author | David Aspinall | 2008-08-03 20:45:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-08-03 20:45:48 +0000 |
| commit | 60d7a20328d9e3a2b34f3761f2b2a8e82dff9238 (patch) | |
| tree | 31757f53946753b1304b2e111c0f8e7230b154b4 /isar | |
| parent | a975bc8b763917d689b278732dc2e6ca22e89efe (diff) | |
Updated.
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" "α") |