diff -r 3261ee47bb95 -r f9a20c2c3b70 src/Pure/PIDE/markup.ML
--- 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)];