diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-19 16:50:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-19 16:50:17 +0000 |
| commit | 580b58e1d2abda90c678e19e5ef16261c72e3abf (patch) | |
| tree | 0b9c76491897b2fbb91ed7ad48e0dc36027f3c63 /isa | |
| parent | 940018ed90b7729ed403b923264d793f6eabb402 (diff) | |
Fix typo causing missing proof-shell-pre-interrupt-hook.
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isabelle-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index ef2e4c79..ab9ace03 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -192,7 +192,7 @@ Called with one argument: t to save database, nil otherwise." ;;; Set proof-shell-pre-interrupt-hook for PolyML. (if (and (not proof-shell-pre-interrupt-hook) - (string-match "\\'polyml" (isa-getenv "ML_SYSTEM"))) + (string-match "\\`polyml" (isa-getenv "ML_SYSTEM"))) (add-hook 'proof-shell-pre-interrupt-hook (lambda () (proof-shell-insert (isabelle-verbatim "f") nil)))) |