src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Tue Jul 05 22:38:44 2011 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Jul 05 22:39:15 2011 +0200
@@ -180,6 +180,7 @@
 
     val in_stream = setup_channels in_fifo out_fifo;
     val _ = Keyword.status ();
+    val _ = Thy_Info.status ();
     val _ = Output.status (Markup.markup Markup.ready "process ready");
   in loop in_stream end));