Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/markup.scala
changeset 52563 f9a20c2c3b70
parent 52111 1fd184eaa310
child 52643 34c29356930e 
--- 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
isabelle