diff options
| author | David Aspinall | 2000-05-16 08:58:43 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 08:58:43 +0000 |
| commit | a745d791c500f42de38051a9d7af385827857d46 (patch) | |
| tree | 0d212d9ba12f5a32b21270798d7f868f4ca87c00 /FAQ | |
| parent | 87df137a5cf08c21919ec9a254e30bbc60987bb1 (diff) | |
Move setting of proof-shell-pre-interrupt-hook to isabelle-system.el
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions