src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Wed Sep 22 16:03:57 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Wed Sep 22 16:04:20 2010 +0200
@@ -44,7 +44,11 @@
     def is_system = kind == Markup.SYSTEM
     def is_status = kind == Markup.STATUS
     def is_report = kind == Markup.REPORT
-    def is_ready = is_status && body == List(XML.Elem(Markup.Ready, Nil))
+    def is_ready = is_status && {
+      body match {
+        case List(XML.Elem(Markup(Markup.READY, _), _)) => true
+        case _ => false
+      }}
 
     override def toString: String =
     {