diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2004-03-11 12:09:03 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2004-03-11 12:09:03 +0000 |
commit | 66004cbbdf3858f12482990af7b06291e676d262 (patch) | |
tree | 4b4e7f8eb858cb64de8782f3598ebd4322e3fc16 /coq/coq.el | |
parent | 41c4820a778903785d2009820a06787d273152e4 (diff) |
bug fixes on indenting and command-end-regexp.
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 "*)") |