changeset 71024 | 38bed2483e6a |
parent 70991 | f9f7c34b7dd4 |
child 71875 | aaa984499d36 |
--- a/src/Pure/PIDE/protocol.ML Mon Nov 04 20:10:23 2019 +0100 +++ b/src/Pure/PIDE/protocol.ML Mon Nov 04 20:24:52 2019 +0100 @@ -62,7 +62,8 @@ tokens = toks ~~ sources} end; -fun commands_accepted ids = Output.protocol_message Markup.commands_accepted [XML.Text (commas ids)]; +fun commands_accepted ids = + Output.protocol_message Markup.commands_accepted [XML.Text (space_implode "," ids)]; val _ = Isabelle_Process.protocol_command "Document.define_command"