diff options
| author | Gerwin Klein | 2004-04-16 12:36:17 +0000 |
|---|---|---|
| committer | Gerwin Klein | 2004-04-16 12:36:17 +0000 |
| commit | 305cb0663c26d8872cf7d91b6b210e5cd85da393 (patch) | |
| tree | 08468d1c1dee93cfe3c2e492e435ef0fcb21972c | |
| parent | e93dbdbdf75ea09fb93f70187052158a877b9c6d (diff) | |
fix typo in isar-long-id-stuff
| -rw-r--r-- | isar/isar-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 4e24d37e..797428bc 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -212,7 +212,7 @@ This list is in the right format for proof-easy-config.") (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-long-id-stuff (concat "\\(:?" isar-ext-rest "\\|\\.\\)+")) (defconst isar-id (concat "\\(" isar-ext-first isar-ext-rest "*\\)")) (defconst isar-idx (concat isar-id "\\(?:\\.[0-9]+\\)?")) |