src/Pure/PIDE/isabelle_markup.scala
changeset 46910 3e068ef04b42
parent 46774 38f113b052b1
child 47395 e6261a493f04
     1.1 --- a/src/Pure/PIDE/isabelle_markup.scala	Tue Mar 13 20:04:24 2012 +0100
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.scala	Tue Mar 13 21:17:37 2012 +0100
     1.3 @@ -198,6 +198,7 @@
     1.4  
     1.5    val TASK = "task"
     1.6  
     1.7 +  val PARSED = "parsed"
     1.8    val FORKED = "forked"
     1.9    val JOINED = "joined"
    1.10    val FAILED = "failed"