From ef945c54b32e8536624ba1cda22eb2157d9e391c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 10 Feb 2003 16:37:42 +0000
Subject: little modif on the end-cammand regexp.

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

diff --git a/coq/coq.el b/coq/coq.el
index 8b4670cd..b9c86556 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -594,7 +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\\']\\|\\'\\)" "."))
+        (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