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.

1 files changed, 1 insertions, 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