src/Pure/System/isabelle_process.ML

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