diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-02-17 12:28:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-02-17 12:28:52 +0000 |
| commit | 5834ebc935392dca35ab1ccb882c1bb50bfe86ac (patch) | |
| tree | 83ef4228b947a674d732fe76f9dd524aab6314b9 | |
| parent | a35d9f95bd1c88c6fea12cc8e4ef5f91995c7cd1 (diff) | |
Remove isar-activate-scripting, which was identical to default
| -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 |