--- a/src/Pure/PIDE/isabelle_markup.scala Thu Jan 05 13:27:50 2012 +0100
+++ b/src/Pure/PIDE/isabelle_markup.scala Thu Jan 05 14:15:37 2012 +0100
@@ -249,14 +249,14 @@
val BAD = "bad"
- val READY = "ready"
-
/* raw message functions */
val FUNCTION = "function"
val Function = new Properties.String(FUNCTION)
+ val Ready: Properties.T = List((FUNCTION, "ready"))
+
val Assign_Execs: Properties.T = List((FUNCTION, "assign_execs"))
val Removed_Versions: Properties.T = List((FUNCTION, "removed_versions"))