src/Pure/Tools/isabelle_process.ML

 (* init *)
 
 fun init out =
  (change print_mode (update (op =) isabelle_processN);
   setup_channels out |> init_message;
+  OuterKeyword.report ();
   Isar.toplevel_loop {init = true, welcome = false, sync = true, secure = true});
 
 end;