diff options
| author | David Aspinall | 1998-10-21 17:18:22 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-21 17:18:22 +0000 |
| commit | 2f7e23f11fa5b378e16b40ae211456a06b91f585 (patch) | |
| tree | 7ddb3da7990cbbfad53cb4848d8c099152817b4e /isa/ProofGeneral.ML | |
| parent | f3baeb4be75c658d4c4fa85a706dbd3dee2134f2 (diff) | |
Improved multiple file implementation
Diffstat (limited to 'isa/ProofGeneral.ML')
| -rw-r--r-- | isa/ProofGeneral.ML | 6 |
1 files changed, 5 insertions, 1 deletions
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(); |