Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper message (amending 94442fce40a5);
authorwenzelm
Mon, 04 Nov 2019 20:24:52 +0100
changeset 71024 38bed2483e6a
parent 71023 35a8e15b7e03
child 71025 be8cec1abcbb
proper message (amending 94442fce40a5);
src/Pure/PIDE/protocol.ML file | annotate | diff | comparison | revisions 
--- 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"
isabelle