changeset 8999 | ad8260dc6e4a |
parent 8807 | 0046be1769f9 |
child 9033 | f12d8ea8618b |
--- a/src/Pure/Isar/outer_syntax.ML Tue May 30 16:02:56 2000 +0200 +++ b/src/Pure/Isar/outer_syntax.ML Tue May 30 16:03:09 2000 +0200 @@ -443,7 +443,7 @@ (if time then timeit (fn () => (writeln ("\n**** Starting theory " ^ quote name ^ " ****"); - setmp Goals.proof_timing true (run_thy name) path; + setmp Library.timing true (run_thy name) path; writeln ("**** Finished theory " ^ quote name ^ " ****\n"))) else run_thy name path; Context.context (ThyInfo.get_theory name);