diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2004-03-11 13:24:33 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2004-03-11 13:24:33 +0000 |
| commit | f86882c6352c97753f74883cfeb4f17dab8d2f34 (patch) | |
| tree | 80f4986fcb6b35963f39bace7ce82207a7e68c11 /coq/coq.el | |
| parent | 66004cbbdf3858f12482990af7b06291e676d262 (diff) | |
added proof-really-save-command-p to coq config, to deal with Proof
<term>. which is a save command (but not a save giving a name like
Save id.).
Diffstat (limited to 'coq/coq.el')
| -rw-r--r-- | coq/coq.el | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -758,6 +758,7 @@ This is specific to coq-mode." proof-state-preserving-p 'coq-state-preserving-p) (setq proof-save-command-regexp coq-save-command-regexp + proof-really-save-command-p 'coq-save-command-p ;pierre:deals with Proof <term>. proof-save-with-hole-regexp coq-save-with-hole-regexp proof-goal-with-hole-regexp coq-goal-with-hole-regexp proof-nested-undo-regexp coq-state-changing-commands-regexp) |