Simplified prompt regexp for coq, preparing new prompt delimiters

<prompt> and </prompt>.

1 files 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