From 580b58e1d2abda90c678e19e5ef16261c72e3abf Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 19 Jun 2000 16:50:17 +0000
Subject: Fix typo causing missing proof-shell-pre-interrupt-hook.

---
 isa/isabelle-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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))))
-- 
cgit v1.2.3