From d2853e36dd166fd0e9ea585a6d800cec9a22cd86 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 18 Nov 1998 13:38:01 +0000
Subject: Fixed problem with list_loaded_files and update(). Now when doing
 use_thy, we don't do an update. Hopefully "following children are out of
 date" message will be superfluous because they will be unlocked already. 
 Will be re-read as needed. Added update function. Fixed up implementation of
 list_parents.

---
 isa/ProofGeneral.ML | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'isa/ProofGeneral.ML')

diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML
index 96bbf66e..9cec27a0 100644
--- a/isa/ProofGeneral.ML
+++ b/isa/ProofGeneral.ML
@@ -105,7 +105,8 @@ structure ProofGeneral =
           end
    in
     (writeln "Updating loaded files list...";
-     seq loading_msg thys_list)
+     seq loading_msg thys_list;
+     writeln "Done.")
    end;
 
  (* 
-- 
cgit v1.2.3