src/Pure/PIDE/isabelle_markup.scala
changeset 46121 30a69cd8a9a0
parent 45702 7df60d1aa988
child 46122 1e9ec1a44dfc
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Thu Jan 05 13:27:50 2012 +0100
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Thu Jan 05 14:15:37 2012 +0100
     1.3 @@ -249,14 +249,14 @@
     1.4  
     1.5    val BAD = "bad"
     1.6  
     1.7 -  val READY = "ready"
     1.8 -
     1.9  
    1.10    /* raw message functions */
    1.11  
    1.12    val FUNCTION = "function"
    1.13    val Function = new Properties.String(FUNCTION)
    1.14  
    1.15 +  val Ready: Properties.T = List((FUNCTION, "ready"))
    1.16 +
    1.17    val Assign_Execs: Properties.T = List((FUNCTION, "assign_execs"))
    1.18    val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))
    1.19