proof-script-command-end-regexp: allow any non-letter after a period

to terminate a command, fixing #296 (and hopefully not messing up
other cases).

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 3817c5a3..3f4fff4c 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-\\|\\'\\)")
+        "\\(?:[^.]\\|\\(?:\\.\\.\\)\\)\\.\\(\\s-\\|[^[:alpha:]]\\)")
   (setq proof-script-comment-start "(*")
   (setq proof-script-comment-end "*)")
   (setq proof-unnamed-theorem-name "Unnamed_thm") ; Coq's default name