Added the config var proof-script-command-end-regexp fot coq V7.

1 files changed, 1 insertions, 0 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 434f7792..070b55d3 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -463,6 +463,7 @@ This is specific to coq-mode."
 (defun coq-mode-config ()
 
   (setq proof-terminal-char ?\.)
+  (setq proof-script-command-end-regexp "[.]\\([ \t\n\r]\\)")
   (setq proof-comment-start "(*")
   (setq proof-comment-end "*)")
   (setq proof-unnamed-theorem-name "Unnamed_thm") ; Coq's default name