diff options
| author | Makarius Wenzel | 2000-09-11 18:35:20 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-11 18:35:20 +0000 |
| commit | 57ad8cdec0d69ab37ec20b4f1d11fa86fb98912a (patch) | |
| tree | 66bdfc9c29620f3da3e5cf794e76e8c8af6d047d /af2 | |
| parent | f436bc2d40ebc3fdeecaeacceb21798dab4b1516 (diff) | |
proof-shell-pre-interrupt-hook for PolyML 3 only;
Diffstat (limited to 'af2')
0 files changed, 0 insertions, 0 deletions