src/Pure/PIDE/markup.scala
changeset 52563 f9a20c2c3b70
parent 52111 1fd184eaa310
child 52643 34c29356930e
     1.1 --- a/src/Pure/PIDE/markup.scala	Tue Jul 09 13:16:10 2013 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Tue Jul 09 13:17:22 2013 +0200
     1.3 @@ -313,7 +313,7 @@
     1.4    val FUNCTION = "function"
     1.5    val Function = new Properties.String(FUNCTION)
     1.6  
     1.7 -  val Assign_Execs: Properties.T = List((FUNCTION, "assign_execs"))
     1.8 +  val Assign_Update: Properties.T = List((FUNCTION, "assign_update"))
     1.9    val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))
    1.10  
    1.11    object Protocol_Handler