src/Pure/System/isabelle_process.ML
changeset 43673 29eb1cd29961
parent 43671 a250b092ac66
child 43684 85388f5570c4
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Jul 05 22:38:44 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Jul 05 22:39:15 2011 +0200
     1.3 @@ -180,6 +180,7 @@
     1.4  
     1.5      val in_stream = setup_channels in_fifo out_fifo;
     1.6      val _ = Keyword.status ();
     1.7 +    val _ = Thy_Info.status ();
     1.8      val _ = Output.status (Markup.markup Markup.ready "process ready");
     1.9    in loop in_stream end));
    1.10