From 79669423a345e65a8115323626f8ca66c44280a6 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 10 Feb 2000 11:12:47 +0000
Subject: setup proof-shell-pre-interrupt-hook for Poly/ML;

---
 isa/interface-setup.el  | 5 +++++
 isar/interface-setup.el | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/isa/interface-setup.el b/isa/interface-setup.el
index fce64173..f5ee2c51 100644
--- a/isa/interface-setup.el
+++ b/isa/interface-setup.el
@@ -5,3 +5,8 @@
 (customize-set-variable
  'isabelle-prog-name
  (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))
+
+(if (string-match "^polyml" (getenv "ML_SYSTEM"))
+    (customize-set-variable
+     'proof-shell-pre-interrupt-hook
+     (lambda () (proof-shell-insert "f" nil))))
diff --git a/isar/interface-setup.el b/isar/interface-setup.el
index 3cf70b39..736cda57 100644
--- a/isar/interface-setup.el
+++ b/isar/interface-setup.el
@@ -5,3 +5,8 @@
 (customize-set-variable
  'isabelle-isar-prog-name
  (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC")))
+
+(if (string-match "^polyml" (getenv "ML_SYSTEM"))
+    (customize-set-variable
+     'proof-shell-pre-interrupt-hook
+     (lambda () (proof-shell-insert (isar-verbatim "f") nil))))
-- 
cgit v1.2.3