Fixed the "proof completed" regexp.

1 files changed, 1 insertions, 1 deletions

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