--- 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);