src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Thu Jan 05 13:27:50 2012 +0100
+++ b/src/Pure/System/isabelle_process.ML	Thu Jan 05 14:15:37 2012 +0100
@@ -185,7 +185,7 @@
 
     val _ = Keyword.status ();
     val _ = Thy_Info.status ();
-    val _ = Output.status (Markup.markup Isabelle_Markup.ready "process ready");
+    val _ = Output.raw_message Isabelle_Markup.ready "";
   in loop channel end));
 
 fun init_fifos fifo1 fifo2 = init (fn () => System_Channel.fifo_rendezvous fifo1 fifo2);