From 2f7e23f11fa5b378e16b40ae211456a06b91f585 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 21 Oct 1998 17:18:22 +0000
Subject: Improved multiple file implementation

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

(limited to 'isa/ProofGeneral.ML')

diff --git a/isa/ProofGeneral.ML b/isa/ProofGeneral.ML
index 586d5992..d5117843 100644
--- a/isa/ProofGeneral.ML
+++ b/isa/ProofGeneral.ML
@@ -286,8 +286,12 @@ fun list_loaded_files () =
 
 (* Get Proof General to cache the loaded files. *)
 
-list_loaded_files();
+(* list_loaded_files(); *)
    
+use "/home/da/thy_read.ML";
+open ThyRead;
+update_verbose:=true;
+update();
 
 
   
-- 
cgit v1.2.3