src/Pure/General/markup.scala

--- a/src/Pure/General/markup.scala	Tue Jun 02 21:13:47 2009 +0200
+++ b/src/Pure/General/markup.scala	Tue Jun 02 23:30:45 2009 +0200
@@ -163,6 +163,8 @@
   val SIGNAL = "signal"
   val EXIT = "exit"
 
+  val READY = "ready"
+
 
   /* content */