diff options
| author | David Aspinall | 2001-08-30 14:30:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-30 14:30:02 +0000 |
| commit | c8b61d442640e59a34ab233da277931a2134e9d4 (patch) | |
| tree | fb012bd758d910ee12865a263a6ee38ec501b701 /html | |
| parent | 56187e486cd430129d5dd5f42426ec5c5c7c21ca (diff) | |
Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions