--- a/src/Pure/PIDE/protocol_message.ML Sat Oct 19 11:29:39 2019 +0200
+++ b/src/Pure/PIDE/protocol_message.ML Sat Oct 19 11:33:36 2019 +0200
@@ -6,6 +6,7 @@
signature PROTOCOL_MESSAGE =
sig
+ val inline: string -> Properties.T -> unit
val command_positions: string -> XML.body -> XML.body
val command_positions_yxml: string -> string -> string
end;
@@ -13,6 +14,10 @@
structure Protocol_Message: PROTOCOL_MESSAGE =
struct
+fun inline a args =
+ writeln ("\f" ^ a ^ " = " ^ YXML.string_of_body (XML.Encode.properties args));
+
+
fun command_positions id =
let
fun attribute (a, b) =