1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Jan 04 18:56:36 2010 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Jan 04 19:43:59 2010 +0100
     1.3 @@ -88,7 +88,8 @@
     1.4  (* init *)
     1.5  
     1.6  fun init out =
     1.7 - (Unsynchronized.change print_mode (update (op =) isabelle_processN);
     1.8 + (Unsynchronized.change print_mode
     1.9 +    (fold (update (op =)) [isabelle_processN, OuterKeyword.keyword_status_reportN]);
    1.10    setup_channels out |> init_message;
    1.11    OuterKeyword.report ();
    1.12    Output.status (Markup.markup Markup.ready "");