--- a/src/Pure/General/markup.scala Wed Sep 22 16:03:57 2010 +0200 +++ b/src/Pure/General/markup.scala Wed Sep 22 16:04:20 2010 +0200 @@ -247,7 +247,7 @@ val BAD = "bad" - val Ready = Markup("ready", Nil) + val READY = "ready" /* system data */