From cd51d90608b090a030a26883035888d673b935d9 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 3 Jan 2008 15:17:28 +0000
Subject: Fixed the "proof completed" regexp.

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

diff --git a/coq/coq.el b/coq/coq.el
index 6d03439d..1cd9e83e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -109,7 +109,7 @@ On Windows you might need something like:
 (defvar coq-shell-abort-goal-regexp "Current goal aborted"
   "*Regexp indicating that the current goal has been abandoned.")
 
-(defvar coq-shell-proof-completed-regexp "Subtree proved!"
+(defvar coq-shell-proof-completed-regexp "Subtree proved!\\|Proof Completed\\."
   "*Regular expression indicating that the proof has been completed.")
 
 (defvar coq-goal-regexp
-- 
cgit v1.2.3