src/Pure/PIDE/markup.scala
changeset 68871 f5c76072db55
parent 68822 253f04c1e814
child 68884 9b97d0b20d95
     1.1 --- a/src/Pure/PIDE/markup.scala	Sat Sep 01 18:39:36 2018 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Sat Sep 01 20:20:50 2018 +0200
     1.3 @@ -424,7 +424,7 @@
     1.4    val RUNNING = "running"
     1.5    val FINISHED = "finished"
     1.6    val FAILED = "failed"
     1.7 -
     1.8 +  val CANCELED = "canceled"
     1.9    val INITIALIZED = "initialized"
    1.10    val CONSOLIDATED = "consolidated"
    1.11