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 | |
| parent | 56187e486cd430129d5dd5f42426ec5c5c7c21ca (diff) | |
Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).
| -rw-r--r-- | isa/isabelle-system.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 2d90192c..9849f1bf 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -204,10 +204,10 @@ Called with one argument: t to save database, nil otherwise." "Mark internal command for verbatim output" (concat "\^VERBATIM: " str)) -;;; Set proof-shell-pre-interrupt-hook for PolyML 3. +;;; Set proof-shell-pre-interrupt-hook for PolyML. (if (and (not proof-shell-pre-interrupt-hook) - (proof-string-match "\\`polyml-3" (isa-getenv "ML_SYSTEM"))) + (proof-string-match "\\`polyml" (isa-getenv "ML_SYSTEM"))) (add-hook 'proof-shell-pre-interrupt-hook (lambda () (proof-shell-insert (isabelle-verbatim "f") nil)))) |