Add isa-shell-update-thy at the end of proof-activate-scripting-hook.

1 files changed, 1 insertions, 1 deletions

diff --git a/isa/isa.el b/isa/isa.el
index c28aa0dc..372dd7a9 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -233,7 +233,7 @@ no regular or easily discernable structure."
    "Proof General, you can unlock the file \"\\(.*\\)\""
    proof-shell-compute-new-files-list 'isa-shell-compute-new-files-list
    )
-  (add-hook 'proof-activate-scripting-hook 'isa-shell-update-thy)
+  (add-hook 'proof-activate-scripting-hook 'isa-shell-update-thy 'append)
   )