src/Pure/System/isabelle_process.scala
changeset 39625 fb0c851e4f9d
parent 39623 6aae022fde9b
child 39626 a5d0bcfb95a3
     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      {