1.1 --- a/src/Pure/System/isabelle_process.scala Thu Sep 23 14:26:55 2010 +0200
1.2 +++ b/src/Pure/System/isabelle_process.scala Thu Sep 23 14:39:29 2010 +0200
1.3 @@ -44,11 +44,8 @@
1.4 def is_system = kind == Markup.SYSTEM
1.5 def is_status = kind == Markup.STATUS
1.6 def is_report = kind == Markup.REPORT
1.7 - def is_ready = is_status && {
1.8 - body match {
1.9 - case List(XML.Elem(Markup(Markup.READY, _), _)) => true
1.10 - case _ => false
1.11 - }}
1.12 + def is_ready = Isar_Document.is_ready(message)
1.13 + def is_syslog = is_init || is_exit || is_system || is_ready
1.14
1.15 override def toString: String =
1.16 {