src/Pure/System/isabelle_process.ML

     Output.status_fn := standard_message [] Markup.statusN;
     Output.report_fn := standard_message [] Markup.reportN;
     Output.result_fn :=
       (fn props => fn s => standard_message (props @ serial_props ()) Markup.resultN s);
     Output.writeln_fn := (fn s => standard_message (serial_props ()) Markup.writelnN s);
+    Output.state_fn := (fn s => standard_message (serial_props ()) Markup.stateN s);
+    Output.information_fn := (fn s => standard_message (serial_props ()) Markup.informationN s);
     Output.tracing_fn :=
       (fn s => (update_tracing (); standard_message (serial_props ()) Markup.tracingN s));
     Output.warning_fn := (fn s => standard_message (serial_props ()) Markup.warningN s);
     Output.error_message_fn :=
       (fn (i, s) => standard_message (Markup.serial_properties i) Markup.errorN s);