clarified Present.init;

--- a/src/Pure/Isar/session.ML	Sun Jul 22 13:53:47 2007 +0200
+++ b/src/Pure/Isar/session.ML	Sun Jul 22 13:53:49 2007 +0200
@@ -84,7 +84,7 @@
     (Library.setmp Proofterm.proofs level (fn () =>
       (init reset parent name;
        Present.init build info doc doc_graph doc_versions (path ()) name
-         (dumping dump) (get_rpath rpath) verbose;
+         (dumping dump) (get_rpath rpath) verbose (map ThyInfo.theory (ThyInfo.names ()));
        ThyInfo.time_use root;
        finish ()))) ()
   handle exn => (Output.error_msg (Toplevel.exn_message exn); exit 1);