--- a/src/Pure/System/isabelle_process.ML Sat Nov 02 10:56:53 2019 +0100
+++ b/src/Pure/System/isabelle_process.ML Sat Nov 02 12:02:27 2019 +0100
@@ -131,7 +131,8 @@
Private_Output.error_message_fn :=
(fn (i, s) => standard_message (Markup.serial_properties i) Markup.errorN s);
Private_Output.system_message_fn := message Markup.systemN [];
- Private_Output.protocol_message_fn := message Markup.protocolN;
+ Private_Output.protocol_message_fn :=
+ (fn props => fn body => message Markup.protocolN props (YXML.chunks_of_body body));
Session.init_protocol_handlers ();
message Markup.initN [] [Session.welcome ()];