From cf7d72a4ba806f0e8a8561c034b5fd30e704d6aa Mon Sep 17 00:00:00 2001
From: Gerwin Klein
Date: Fri, 16 Apr 2004 12:43:08 +0000
Subject: fix typo in isar-long-id-stuff

---
 isar/isar-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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]+\\)?"))
 
-- 
cgit v1.2.3