diff options
author | Stefan Berghofer <berghofe@in.tum.de> | 2003-08-29 14:51:06 +0000 |
---|---|---|
committer | Stefan Berghofer <berghofe@in.tum.de> | 2003-08-29 14:51:06 +0000 |
commit | e16c79d80800f426fb0a45cf5a7aad354d4e2077 (patch) | |
tree | 69e1a59e7b041f12f5b00d819c13e343a30b9330 /isar | |
parent | eff6c3c77810a11fa916860cf10c0f2fab60a5bf (diff) |
Corrected fix from Sebastian Skalberg.
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-syntax.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 336305b0..6b8f4f30 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -192,9 +192,10 @@ ; l "\\|")) (defconst isar-long-id-stuff "\\(?:[A-Za-z0-9'_.]+\\)") -(defconst isar-ext-letter "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z]\\)") +(defconst isar-ext-first "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z]\\)") +(defconst isar-ext-rest "\\(?:\\\\<[A-Za-z]+>\\|[A-Za-z0-9'_]\\)*") -(defconst isar-id (concat "\\(?:" isar-ext-letter "+\\)")) +(defconst isar-id (concat "\\(?:" isar-ext-first isar-ext-rest "\\)")) (defconst isar-idx (concat isar-id "\\(?:\\.[0-9]+\\)?")) (defconst isar-string "\"\\(?:\\(?:[^\"]\\|\\\\\"\\)*\\)\"") |