Slight modification to proof-script-command-end-regexp in coq.el, to

allow command at the end of the buffer.

1 files changed, 1 insertions, 1 deletions

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