diff -r 3261ee47bb95 -r f9a20c2c3b70 src/Pure/PIDE/markup.scala
--- a/src/Pure/PIDE/markup.scala	Tue Jul 09 13:16:10 2013 +0200
+++ b/src/Pure/PIDE/markup.scala	Tue Jul 09 13:17:22 2013 +0200
@@ -313,7 +313,7 @@
   val FUNCTION = "function"
   val Function = new Properties.String(FUNCTION)
 
-  val Assign_Execs: Properties.T = List((FUNCTION, "assign_execs"))
+  val Assign_Update: Properties.T = List((FUNCTION, "assign_update"))
   val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))
 
   object Protocol_Handler