src/Pure/PIDE/isabelle_markup.scala
changeset 48712 6b7a9bcc0bae
parent 48710 5b51ccdc8623
child 48751 dc3bbdda4bc8
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Tue Aug 07 17:46:30 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Tue Aug 07 19:16:58 2012 +0200
     1.3 @@ -250,8 +250,6 @@
     1.4    val FUNCTION = "function"
     1.5    val Function = new Properties.String(FUNCTION)
     1.6  
     1.7 -  val Ready: Properties.T = List((FUNCTION, "ready"))
     1.8 -
     1.9    val Assign_Execs: Properties.T = List((FUNCTION, "assign_execs"))
    1.10    val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))
    1.11