changeset 43673 | 29eb1cd29961 |
parent 43671 | a250b092ac66 |
child 43684 | 85388f5570c4 |
--- 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));