1.1 --- a/src/Pure/System/isabelle_process.ML	Thu Dec 05 17:52:12 2013 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Thu Dec 05 17:58:03 2013 +0100
     1.3 @@ -119,7 +119,7 @@
     1.4      Output.Internal.tracing_fn :=
     1.5        (fn s => (update_tracing (); standard_message (serial_props ()) Markup.tracingN s));
     1.6      Output.Internal.warning_fn := (fn s => standard_message (serial_props ()) Markup.warningN s);
     1.7 -    Output.Internal.error_fn :=
     1.8 +    Output.Internal.error_message_fn :=
     1.9        (fn (i, s) => standard_message (Markup.serial_properties i) Markup.errorN s);
    1.10      Output.Internal.protocol_message_fn := message Markup.protocolN;
    1.11      Output.Internal.urgent_message_fn := ! Output.Internal.writeln_fn;
    1.12 @@ -167,10 +167,10 @@
    1.13  fun loop channel =
    1.14    let val continue =
    1.15      (case read_command channel of
    1.16 -      [] => (Output.error_msg "Isabelle process: no input"; true)
    1.17 +      [] => (Output.error_message "Isabelle process: no input"; true)
    1.18      | name :: args => (task_context (fn () => run_command name args); true))
    1.19      handle Runtime.TERMINATE => false
    1.20 -      | exn => (Output.error_msg (ML_Compiler.exn_message exn) handle crash => recover crash; true);
    1.21 +      | exn => (ML_Compiler.exn_error_message exn handle crash => recover crash; true);
    1.22    in
    1.23      if continue then loop channel
    1.24      else (Future.shutdown (); Execution.reset (); ())