diff options
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(); |