src/Pure/General/markup.scala

--- a/src/Pure/General/markup.scala	Sun Aug 15 23:13:56 2010 +0200
+++ b/src/Pure/General/markup.scala	Mon Aug 16 00:07:28 2010 +0200
@@ -193,13 +193,10 @@
 
   val TASK = "task"
 
-  val UNPROCESSED = "unprocessed"
-  val RUNNING = "running"
   val FORKED = "forked"
   val JOINED = "joined"
   val FAILED = "failed"
   val FINISHED = "finished"
-  val DISPOSED = "disposed"
 
 
   /* interactive documents */