aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
diff options
context:
space:
mode:
authorGravatar Stefan Berghofer <berghofe@in.tum.de>2003-08-29 14:51:06 +0000
committerGravatar Stefan Berghofer <berghofe@in.tum.de>2003-08-29 14:51:06 +0000
commite16c79d80800f426fb0a45cf5a7aad354d4e2077 (patch)
tree69e1a59e7b041f12f5b00d819c13e343a30b9330 /isar
parenteff6c3c77810a11fa916860cf10c0f2fab60a5bf (diff)
Corrected fix from Sebastian Skalberg.
Diffstat (limited to 'isar')
-rw-r--r--isar/isar-syntax.el5
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 "\"\\(?:\\(?:[^\"]\\|\\\\\"\\)*\\)\"")