From 7ba3e9f222495aa37c4fca8ab6146941d798ee51 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 6 Feb 2003 00:07:14 +0000
Subject: Slight modification to proof-script-command-end-regexp in coq.el, to
 allow command at the end of the buffer.

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

diff --git a/coq/coq.el b/coq/coq.el
index ad32135a..473bb31c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -597,7 +597,7 @@ This is specific to coq-mode."
         ;;(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]\\)")
+        "[.]\\([\\. \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