diff options
| author |  Gerwin Klein <gerwin.klein@nicta.com.au> | 2003-10-16 23:47:14 +0000 |
|---|---|---|
| committer | Gerwin Klein <gerwin.klein@nicta.com.au> | 2003-10-16 23:47:14 +0000 |
| commit | 827ddd2b4923e0f3fdf245c8abd3e9ff4c4d3dcb (patch) | |
| tree | 57e4888b62bfb2d42f60a92c47c8353ae72796a1 /isar | |
| parent | bc55a832aec523eed5a69ce76a77b0b4204fe232 (diff) | |
allow sub/super scripts in identifiers (\<^isub> and \<^isup>)
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
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 "*\\)")) |