From b058e5209bf4968b9f31edcd4149251e659bbd6b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 20 Mar 2001 17:26:00 +0000
Subject: Added the config var proof-script-command-end-regexp fot coq V7.

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

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
-- 
cgit v1.2.3