diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2003-02-10 16:37:42 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2003-02-10 16:37:42 +0000 |
commit | ef945c54b32e8536624ba1cda22eb2157d9e391c (patch) | |
tree | 40c6b2ed207e890da5acd5da82a73cd0678ffd11 /coq | |
parent | 0e7cc37fb61f96093ce31006f3ca9d404d96741b (diff) |
little modif on the end-cammand regexp.
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -594,7 +594,7 @@ This is specific to coq-mode." (setq proof-terminal-char ?\.) (setq proof-script-command-end-regexp - (if coq-version-is-V7 "[.]\\([\\. \t\n\r\\']\\|\\'\\)" ".")) + (if coq-version-is-V7 "[.]\\([\\. \t\n\r]\\|\\'\\)" "[.]")) (setq proof-script-comment-start "(*") (setq proof-script-comment-end "*)") (setq proof-unnamed-theorem-name "Unnamed_thm") ; Coq's default name |