From 5834ebc935392dca35ab1ccb882c1bb50bfe86ac Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 17 Feb 2008 12:28:52 +0000
Subject: Remove isar-activate-scripting, which was identical to default

---
 isar/isar.el | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/isar/isar.el b/isar/isar.el
index eadcf5e5..d2542b24 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -236,8 +236,7 @@ See -k option for Isabelle interface script."
    "Proof General, you can unlock the file \"\\(.*\\)\""
    proof-shell-compute-new-files-list 'isar-shell-compute-new-files-list
    proof-shell-inform-file-processed-cmd "ProofGeneral.inform_file_processed \"%s\""
-   proof-shell-inform-file-retracted-cmd "ProofGeneral.inform_file_retracted \"%s\"")
-  (add-hook 'proof-activate-scripting-hook 'isar-activate-scripting))
+   proof-shell-inform-file-retracted-cmd "ProofGeneral.inform_file_retracted \"%s\""))
 
 
 ;;;
@@ -265,10 +264,6 @@ proof-shell-retract-files-regexp."
         (isar-remove-file name proof-included-files-list t)
       (isar-remove-file (file-truename name) proof-included-files-list nil))))
 
-(defun isar-activate-scripting ()
-  "Make sure the Isabelle/Isar toplevel is in a sane state."
-  (proof-cd-sync))
-
 
 ;;
 ;;   Define the derived modes
-- 
cgit v1.2.3