From af8c12edab11c17df9e1913b8190c401f8e084d6 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 6 Feb 2003 00:16:29 +0000
Subject: little change to proof-script-command-end-regexp, again, to deal with
 coq-v6.2. In the next version we will remove support for coq < 7.0.

---
 coq/coq.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 473bb31c..8b4670cd 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -594,10 +594,7 @@ This is specific to coq-mode."
 
   (setq proof-terminal-char ?\.)
   (setq proof-script-command-end-regexp   
-        ;;(if coq-version-is-V7 "[.]\\([ \t\n\r]\\)\\|[.]\\'" "[.]")
-        ;; da: could you check this, Pierre?  If you like it
-        ;; please remove these comments.
-        "[.]\\([\\. \t\n\r\\']\\|\\'\\)")
+        (if coq-version-is-V7 "[.]\\([\\. \t\n\r\\']\\|\\'\\)" "."))
   (setq proof-script-comment-start "(*")
   (setq proof-script-comment-end "*)")
   (setq proof-unnamed-theorem-name "Unnamed_thm") ; Coq's default name
-- 
cgit v1.2.3