--- a/src/Pure/System/isabelle_process.ML Sun Mar 30 21:24:59 2014 +0200
+++ b/src/Pure/System/isabelle_process.ML Mon Mar 31 10:28:08 2014 +0200
@@ -106,7 +106,7 @@
Message_Channel.send msg_channel (Message_Channel.message name props body);
fun standard_message props name body =
- if body = "" then ()
+ if forall (fn s => s = "") body then ()
else
message name
(fold_rev Properties.put props (Position.properties_of (Position.thread_data ()))) body;
@@ -124,7 +124,7 @@
Output.protocol_message_fn := message Markup.protocolN;
Output.urgent_message_fn := ! Output.writeln_fn;
Output.prompt_fn := ignore;
- message Markup.initN [] (Session.welcome ());
+ message Markup.initN [] [Session.welcome ()];
msg_channel
end;