diff -r 438c39fc93c8 -r 779ff1187327 src/Pure/General/markup.scala
--- a/src/Pure/General/markup.scala	Thu Jan 08 13:18:34 2009 +0100
+++ b/src/Pure/General/markup.scala	Fri Jan 09 23:33:59 2009 +0100
@@ -110,6 +110,8 @@
 
   /* command status */
 
+  val TASK = "task"
+
   val UNPROCESSED = "unprocessed"
   val RUNNING = "running"
   val FAILED = "failed"