diff options
| author | David Aspinall | 2002-06-30 14:43:27 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-06-30 14:43:27 +0000 |
| commit | 189395ce88ba2d3208726ff7ccd007df57aa1524 (patch) | |
| tree | ca2dddcea9b75d0e437b221c545b6062ad912ed0 /generic/proof-script.el | |
| parent | 94ae527750288fa561d1f81b9f8f1d982534a758 (diff) | |
proof-shell-kill-function: deactivate scripting before shutting down prover
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions