src/Pure/System/isabelle_process.ML

 
 
 (* 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 "");
   Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});