# HG changeset patch
# User wenzelm
# Date 1185105229 -7200
# Node ID 461cb831d510159ff188ccbf80a9201dccd40307
# Parent  20ebf5cd40aa6cffab5baba28b7a5a95e49275a4
clarified Present.init;

diff -r 20ebf5cd40aa -r 461cb831d510 src/Pure/Isar/session.ML
--- 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);