From 6ed9aea8d30a2eabe4d7b52c5e1cb096fe792ad2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Oct 1999 16:02:30 +0000
Subject: Add isa-shell-update-thy at the end of proof-activate-scripting-hook.

---
 isa/isa.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
   )
 
 
-- 
cgit v1.2.3