src/Pure/System/isabelle_process.ML
changeset 39626 a5d0bcfb95a3
parent 39591 a43a723753e6
child 39733 6d373e9dcb9d
     1.1 --- a/src/Pure/System/isabelle_process.ML	Thu Sep 23 14:39:29 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Thu Sep 23 15:21:04 2010 +0200
     1.3 @@ -182,7 +182,7 @@
     1.4      val (in_stream, out_stream) = setup_channels in_fifo out_fifo;
     1.5      val _ = init_message out_stream;
     1.6      val _ = Keyword.status ();
     1.7 -    val _ = Output.status (Markup.markup Markup.ready "Prover ready");
     1.8 +    val _ = Output.status (Markup.markup Markup.ready "process ready");
     1.9    in loop in_stream end));
    1.10  
    1.11  end;