diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-11 18:35:20 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-11 18:35:20 +0000 |
| commit | 57ad8cdec0d69ab37ec20b4f1d11fa86fb98912a (patch) | |
| tree | 66bdfc9c29620f3da3e5cf794e76e8c8af6d047d /isa | |
| parent | f436bc2d40ebc3fdeecaeacceb21798dab4b1516 (diff) | |
proof-shell-pre-interrupt-hook for PolyML 3 only;
Diffstat (limited to 'isa')
| -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 03c09f26..e2f78110 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -199,10 +199,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. +;;; Set proof-shell-pre-interrupt-hook for PolyML 3. (if (and (not proof-shell-pre-interrupt-hook) - (string-match "\\`polyml" (isa-getenv "ML_SYSTEM"))) + (string-match "\\`polyml-3" (isa-getenv "ML_SYSTEM"))) (add-hook 'proof-shell-pre-interrupt-hook (lambda () (proof-shell-insert (isabelle-verbatim "f") nil)))) |