ThyInfo.time_use root;

--- a/src/Pure/Isar/session.ML	Wed Jul 06 10:41:48 2005 +0200
+++ b/src/Pure/Isar/session.ML	Wed Jul 06 10:41:49 2005 +0200
@@ -79,7 +79,7 @@
       (init reset parent name;
        Present.init build info doc doc_graph (path ()) name
          (if dump = "" then NONE else SOME (Path.unpack dump)) (get_rpath rpath_str) verbose;
-       File.use (Path.basic root);
+       ThyInfo.time_use root;
        finish ())))) ()
   handle exn => (writeln (Toplevel.exn_message exn); exit 1);