Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_process.ML
changeset 58843 521cea5fa777
parent 57979 fc136831d6ca
child 58848 fd0c85d7da38 
--- a/src/Pure/System/isabelle_process.ML	Fri Oct 31 11:18:17 2014 +0100
+++ b/src/Pure/System/isabelle_process.ML	Fri Oct 31 11:36:41 2014 +0100
@@ -126,7 +126,6 @@
       (fn (i, s) => standard_message (Markup.serial_properties i) Markup.errorN s);
     Output.system_message_fn := message Markup.systemN [];
     Output.protocol_message_fn := message Markup.protocolN;
-    Output.urgent_message_fn := ! Output.writeln_fn;
     Output.prompt_fn := ignore;
     message Markup.initN [] [Session.welcome ()];
     msg_channel
isabelle