src/Pure/System/isabelle_process.ML
changeset 46121 30a69cd8a9a0
parent 46119 0d7172a7672c
child 46548 c54a4a22501c
     1.1 --- a/src/Pure/System/isabelle_process.ML	Thu Jan 05 13:27:50 2012 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Thu Jan 05 14:15:37 2012 +0100
     1.3 @@ -185,7 +185,7 @@
     1.4  
     1.5      val _ = Keyword.status ();
     1.6      val _ = Thy_Info.status ();
     1.7 -    val _ = Output.status (Markup.markup Isabelle_Markup.ready "process ready");
     1.8 +    val _ = Output.raw_message Isabelle_Markup.ready "";
     1.9    in loop channel end));
    1.10  
    1.11  fun init_fifos fifo1 fifo2 = init (fn () => System_Channel.fifo_rendezvous fifo1 fifo2);