From 66004cbbdf3858f12482990af7b06291e676d262 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 11 Mar 2004 12:09:03 +0000 Subject: bug fixes on indenting and command-end-regexp. --- coq/coq.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'coq/coq.el') diff --git a/coq/coq.el b/coq/coq.el index 62e23bed..bea485be 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -725,9 +725,9 @@ This is specific to coq-mode." (defun coq-mode-config () (setq proof-terminal-char ?\.) - (setq proof-script-command-end-regexp ;"\\(\\w\\|\\s-\\|\\(\\.\\.\\)+\\)\\.[^\\w\\.]" + (setq proof-script-command-end-regexp (if coq-version-is-V7 - "\\(?:\\w\\|\\s-\\|\\(?:\\.\\.\\)+\\)\\.\\(\\s-\\|\\'\\)" + "\\(?:\\w\\|\\s-\\|\\s)\\|\\(?:\\.\\.\\)+\\)\\.\\(\\s-\\|\\'\\)" "[.]")) (setq proof-script-comment-start "(*") (setq proof-script-comment-end "*)") -- cgit v1.2.3