1.1 --- a/src/Pure/System/isabelle_process.ML	Tue May 25 22:21:31 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue May 25 23:03:13 2010 +0200
     1.3 @@ -73,11 +73,11 @@
     1.4    in
     1.5      Output.status_fn   := standard_message out_stream "B";
     1.6      Output.writeln_fn  := standard_message out_stream "C";
     1.7 -    Output.priority_fn := standard_message out_stream "D";
     1.8 -    Output.tracing_fn  := standard_message out_stream "E";
     1.9 -    Output.warning_fn  := standard_message out_stream "F";
    1.10 -    Output.error_fn    := standard_message out_stream "G";
    1.11 -    Output.debug_fn    := standard_message out_stream "H";
    1.12 +    Output.tracing_fn  := standard_message out_stream "D";
    1.13 +    Output.warning_fn  := standard_message out_stream "E";
    1.14 +    Output.error_fn    := standard_message out_stream "F";
    1.15 +    Output.debug_fn    := standard_message out_stream "G";
    1.16 +    Output.priority_fn := ! Output.writeln_fn;
    1.17      Output.prompt_fn   := ignore;
    1.18      out_stream
    1.19    end;