src/Pure/PIDE/isabelle_markup.scala
changeset 49036 4680c4046814
parent 49009 15381ea111ec
child 49321 a48f9bbbe720
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Thu Aug 30 22:38:12 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Fri Aug 31 13:23:25 2012 +0200
     1.3 @@ -195,9 +195,9 @@
     1.4    val ACCEPTED = "accepted"
     1.5    val FORKED = "forked"
     1.6    val JOINED = "joined"
     1.7 -  val CANCELLED = "cancelled"
     1.8 +  val RUNNING = "running"
     1.9 +  val FINISHED = "finished"
    1.10    val FAILED = "failed"
    1.11 -  val FINISHED = "finished"
    1.12  
    1.13  
    1.14    /* interactive documents */