diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-02-10 11:12:47 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-02-10 11:12:47 +0000 |
commit | 79669423a345e65a8115323626f8ca66c44280a6 (patch) | |
tree | 2482ccf3ecca34356c8318f4809eec26b0d696c8 /isar/isar-keywords.el | |
parent | 0139acbc3c1b2f24a9e50fea9d5da191ffe94bd3 (diff) |
setup proof-shell-pre-interrupt-hook for Poly/ML;
Diffstat (limited to 'isar/isar-keywords.el')
0 files changed, 0 insertions, 0 deletions