--- a/src/Pure/System/isabelle_process.ML Mon Oct 25 20:24:13 2010 +0200
+++ b/src/Pure/System/isabelle_process.ML Mon Oct 25 21:06:56 2010 +0200
@@ -106,14 +106,14 @@
val _ = Simple_Thread.fork false (auto_flush TextIO.stdOut);
val _ = Simple_Thread.fork false (auto_flush TextIO.stdErr);
in
- Output.status_fn := standard_message out_stream false "B";
- Output.report_fn := standard_message out_stream false "C";
- Output.writeln_fn := standard_message out_stream true "D";
- Output.tracing_fn := standard_message out_stream true "E";
- Output.warning_fn := standard_message out_stream true "F";
- Output.error_fn := standard_message out_stream true "G";
- Output.priority_fn := ! Output.writeln_fn;
- Output.prompt_fn := ignore;
+ Output.status_fn := standard_message out_stream false "B";
+ Output.report_fn := standard_message out_stream false "C";
+ Output.writeln_fn := standard_message out_stream true "D";
+ Output.tracing_fn := standard_message out_stream true "E";
+ Output.warning_fn := standard_message out_stream true "F";
+ Output.error_fn := standard_message out_stream true "G";
+ Output.urgent_message_fn := ! Output.writeln_fn;
+ Output.prompt_fn := ignore;
(in_stream, out_stream)
end;