From 429ffd70b1758c8a68c90fba0a8ffc4025faccec Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 29 Sep 2006 13:23:56 +0000
Subject: Simplified prompt regexp for coq, preparing new prompt delimiters
 <prompt> and </prompt>.

---
 coq/coq.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 934fd139..273b42d7 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -80,9 +80,9 @@ To disable coqc being called (and use only make), set this to nil."
 ;; quarter of 2005).
 
 (defvar coq-shell-prompt-pattern 
-  (concat "^\n?" proof-id " < \\(?:[0-9]+ |\\(?:" proof-id "|?\\)*| " 
-          "[0-9]+ < \\)?\\(?:\x6\\|\371\\)")
+  (concat "\\(?:\n" proof-id " < [^\n]+\371\\|\n<prompt>[^\n]+</prompt>\\)")
   "*The prompt pattern for the inferior shell running coq.")
+;  (concat "^\n?" proof-id " < \\(?:[0-9]+ |\\(?:" proof-id "|?\\)*| " "[0-9]+ < \\)?\\(?:\x6\\|\371\\)")
 
 ;; FIXME da: this was disabled (set to nil) -- why?
 ;; da: 3.5: add experimetntal
-- 
cgit v1.2.3