diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 08:18:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 08:18:59 +0000 |
| commit | 44ff04eef9a3c1c9e499eb9f1c98db0765cdabb4 (patch) | |
| tree | 83dfbd6d903987bcec0f3a1753ab14dd15855020 | |
| parent | 5cd9ba766ecda008b9f6fdce89d1898579497b26 (diff) | |
Revert 10.51. proof-script-command-end-regexp: non-letters after
periods are used in some notations (e.g. SSReflect). See Trac #296.
| -rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -653,7 +653,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-\\|[^[:alpha:]]\\|\\'\\)") + "\\(?:[^.]\\|\\(?:\\.\\.\\)\\)\\.\\(\\s-\\|\\'\\)") (setq proof-script-comment-start "(*") (setq proof-script-comment-end "*)") (setq proof-unnamed-theorem-name "Unnamed_thm") ; Coq's default name |