--- a/src/Pure/PIDE/markup.ML Tue Jul 09 13:16:10 2013 +0200
+++ b/src/Pure/PIDE/markup.ML Tue Jul 09 13:17:22 2013 +0200
@@ -140,7 +140,7 @@
val padding_line: Properties.entry
val dialogN: string val dialog: serial -> string -> T
val functionN: string
- val assign_execs: Properties.T
+ val assign_update: Properties.T
val removed_versions: Properties.T
val protocol_handler: string -> Properties.T
val invoke_scala: string -> string -> Properties.T
@@ -459,7 +459,7 @@
val functionN = "function"
-val assign_execs = [(functionN, "assign_execs")];
+val assign_update = [(functionN, "assign_update")];
val removed_versions = [(functionN, "removed_versions")];
fun protocol_handler name = [(functionN, "protocol_handler"), (nameN, name)];