diff options
author | Makarius Wenzel <makarius@sketis.net> | 2006-12-07 19:51:33 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2006-12-07 19:51:33 +0000 |
commit | a4b24e4e30d10a79f3d8fc90d1acd69b80b4c2ab (patch) | |
tree | 145672aed12d42374153122d2dafff4b39ef652b /isar/interface | |
parent | 07559fb1fa3cad5e3fdd2fd5b14313e7ad455c9b (diff) |
proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which breaks Poly/MK 5;
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions