src/Pure/System/isabelle_process.scala

--- a/src/Pure/System/isabelle_process.scala	Thu Sep 23 14:26:55 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Thu Sep 23 14:39:29 2010 +0200
@@ -44,11 +44,8 @@
     def is_system = kind == Markup.SYSTEM
     def is_status = kind == Markup.STATUS
     def is_report = kind == Markup.REPORT
-    def is_ready = is_status && {
-      body match {
-        case List(XML.Elem(Markup(Markup.READY, _), _)) => true
-        case _ => false
-      }}
+    def is_ready = Isar_Document.is_ready(message)
+    def is_syslog = is_init || is_exit || is_system || is_ready
 
     override def toString: String =
     {