src/Pure/PIDE/markup.scala
changeset 56733 f7700146678d
parent 56623 4675df68450e
child 56743 81370dfadb1d
     1.1 --- a/src/Pure/PIDE/markup.scala	Fri Apr 25 23:29:54 2014 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Fri Apr 25 23:42:25 2014 +0200
     1.3 @@ -365,8 +365,6 @@
     1.4    val FUNCTION = "function"
     1.5    val Function = new Properties.String(FUNCTION)
     1.6  
     1.7 -  val Flush: Properties.T = List((FUNCTION, "flush"))
     1.8 -
     1.9    val Assign_Update: Properties.T = List((FUNCTION, "assign_update"))
    1.10    val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))
    1.11