src/Pure/PIDE/isabelle_markup.scala
changeset 49009 15381ea111ec
parent 48768 abc45de5bb22
child 49036 4680c4046814
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Thu Aug 30 15:22:21 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Thu Aug 30 15:26:37 2012 +0200
     1.3 @@ -195,6 +195,7 @@
     1.4    val ACCEPTED = "accepted"
     1.5    val FORKED = "forked"
     1.6    val JOINED = "joined"
     1.7 +  val CANCELLED = "cancelled"
     1.8    val FAILED = "failed"
     1.9    val FINISHED = "finished"
    1.10