diff -r ec83638b6bfb -r 830bb7ddb3ab src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Tue Dec 23 16:00:38 2014 +0100
+++ b/src/Pure/System/isabelle_process.ML	Tue Dec 23 20:46:42 2014 +0100
@@ -118,6 +118,8 @@
     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);