diff options
| author | Pierre Courtieu | 2004-03-11 13:24:33 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-03-11 13:24:33 +0000 |
| commit | f86882c6352c97753f74883cfeb4f17dab8d2f34 (patch) | |
| tree | 80f4986fcb6b35963f39bace7ce82207a7e68c11 /pgshell | |
| 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 'pgshell')
0 files changed, 0 insertions, 0 deletions