1.1 --- a/src/Pure/General/markup.scala	Sun Aug 15 23:13:56 2010 +0200
     1.2 +++ b/src/Pure/General/markup.scala	Mon Aug 16 00:07:28 2010 +0200
     1.3 @@ -193,13 +193,10 @@
     1.4  
     1.5    val TASK = "task"
     1.6  
     1.7 -  val UNPROCESSED = "unprocessed"
     1.8 -  val RUNNING = "running"
     1.9    val FORKED = "forked"
    1.10    val JOINED = "joined"
    1.11    val FAILED = "failed"
    1.12    val FINISHED = "finished"
    1.13 -  val DISPOSED = "disposed"
    1.14  
    1.15  
    1.16    /* interactive documents */