src/Pure/System/isabelle_process.ML
changeset 43673 29eb1cd29961
parent 43671 a250b092ac66
child 43684 85388f5570c4
equal deleted inserted replaced
43672:e9f26e66692d 43673:29eb1cd29961
   178         (fold (update op =)
   178         (fold (update op =)
   179           [Symbol.xsymbolsN, isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
   179           [Symbol.xsymbolsN, isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
   180 
   180 
   181     val in_stream = setup_channels in_fifo out_fifo;
   181     val in_stream = setup_channels in_fifo out_fifo;
   182     val _ = Keyword.status ();
   182     val _ = Keyword.status ();
       
   183     val _ = Thy_Info.status ();
   183     val _ = Output.status (Markup.markup Markup.ready "process ready");
   184     val _ = Output.status (Markup.markup Markup.ready "process ready");
   184   in loop in_stream end));
   185   in loop in_stream end));
   185 
   186 
   186 end;
   187 end;
   187 
   188