src/Pure/System/isabelle_process.ML
changeset 58843 521cea5fa777
parent 57979 fc136831d6ca
child 58848 fd0c85d7da38
     1.1 --- a/src/Pure/System/isabelle_process.ML	Fri Oct 31 11:18:17 2014 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Fri Oct 31 11:36:41 2014 +0100
     1.3 @@ -126,7 +126,6 @@
     1.4        (fn (i, s) => standard_message (Markup.serial_properties i) Markup.errorN s);
     1.5      Output.system_message_fn := message Markup.systemN [];
     1.6      Output.protocol_message_fn := message Markup.protocolN;
     1.7 -    Output.urgent_message_fn := ! Output.writeln_fn;
     1.8      Output.prompt_fn := ignore;
     1.9      message Markup.initN [] [Session.welcome ()];
    1.10      msg_channel