src/Pure/System/isabelle_process.ML
changeset 46774 38f113b052b1
parent 46548 c54a4a22501c
child 47396 c1d297ef7969
     1.1 --- a/src/Pure/System/isabelle_process.ML	Sat Mar 03 17:46:50 2012 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Sat Mar 03 18:18:39 2012 +0100
     1.3 @@ -109,7 +109,7 @@
     1.4      Output.Private_Hooks.tracing_fn := (fn s => standard_message mbox (SOME (serial ())) "E" s);
     1.5      Output.Private_Hooks.warning_fn := (fn s => standard_message mbox (SOME (serial ())) "F" s);
     1.6      Output.Private_Hooks.error_fn := (fn (i, s) => standard_message mbox (SOME i) "G" s);
     1.7 -    Output.Private_Hooks.raw_message_fn := message true mbox "H";
     1.8 +    Output.Private_Hooks.protocol_message_fn := message true mbox "H";
     1.9      Output.Private_Hooks.urgent_message_fn := ! Output.Private_Hooks.writeln_fn;
    1.10      Output.Private_Hooks.prompt_fn := ignore;
    1.11      message true mbox "A" [] (Session.welcome ())
    1.12 @@ -185,7 +185,7 @@
    1.13  
    1.14      val _ = Keyword.status ();
    1.15      val _ = Thy_Info.status ();
    1.16 -    val _ = Output.raw_message Isabelle_Markup.ready "";
    1.17 +    val _ = Output.protocol_message Isabelle_Markup.ready "";
    1.18    in loop channel end));
    1.19  
    1.20  fun init_fifos fifo1 fifo2 = init (fn () => System_Channel.fifo_rendezvous fifo1 fifo2);