From a050ffa490f080135286ca1a68f78fa66872e601 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 24 Aug 2010 13:08:41 +0000
Subject: proof-script-command-end-regexp: include \' for end of buffer again

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

diff --git a/coq/coq.el b/coq/coq.el
index 3f4fff4c..bc0d740c 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -650,7 +650,7 @@ This is specific to `coq-mode'."
   (set (make-local-variable 'indent-tabs-mode) nil)
   (setq proof-terminal-char ?\.)
   (setq proof-script-command-end-regexp
-        "\\(?:[^.]\\|\\(?:\\.\\.\\)\\)\\.\\(\\s-\\|[^[:alpha:]]\\)")
+        "\\(?:[^.]\\|\\(?:\\.\\.\\)\\)\\.\\(\\s-\\|[^[:alpha:]]\\|\\'\\)")
   (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