diff options
| author | David Aspinall | 2011-01-18 17:41:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-18 17:41:27 +0000 |
| commit | a814d1df6c38662c69ca4c914a8819c161e32334 (patch) | |
| tree | 6f4161fdd57347916c1fa1f2ce4b389d7583ed1e /pgshell | |
| parent | 5b5e03cef4876bfb5ff58ef9b87b91a6ffc0f6fc (diff) | |
set proof-auto-action-when-deactivating-scripting to 'retract,
to stop new multiple file handling for Coq interactive queries
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions