diff options
| author | David Aspinall | 1998-11-25 12:47:06 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-25 12:47:06 +0000 |
| commit | c4179c4baf525bac60131d0a4c8309390154a16f (patch) | |
| tree | 05591e2ec1d4f0ebe307938c232818645a0f89b1 /etc/ProofGeneral.patch | |
| parent | 50035e0a85a8d3adfaad4689049cffd25fef9dfa (diff) | |
Fixed up exit hook (still buggy)
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions