diff options
| author |  Gerwin Klein <gerwin.klein@nicta.com.au> | 2004-04-16 12:43:08 +0000 |
|---|---|---|
| committer | Gerwin Klein <gerwin.klein@nicta.com.au> | 2004-04-16 12:43:08 +0000 |
| commit | cf7d72a4ba806f0e8a8561c034b5fd30e704d6aa (patch) | |
| tree | 596655c54a8299c34b466a26ff93cef1ae4e9467 | |
| parent | 305cb0663c26d8872cf7d91b6b210e5cd85da393 (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 797428bc..09ffee34 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]+\\)?")) |