diff options
-rw-r--r-- | isar/isar.el | 7 |
1 files changed, 1 insertions, 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 |