src/Pure/System/isabelle_process.scala
changeset 45672 a497c5d4a523
parent 45666 d83797ef0d2d
child 45709 87017fcbad83
     1.1 --- a/src/Pure/System/isabelle_process.scala	Tue Nov 29 20:17:11 2011 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Tue Nov 29 20:18:02 2011 +0100
     1.3 @@ -58,7 +58,7 @@
     1.4      def is_status = kind == Isabelle_Markup.STATUS
     1.5      def is_report = kind == Isabelle_Markup.REPORT
     1.6      def is_raw = kind == Isabelle_Markup.RAW
     1.7 -    def is_ready = Isar_Document.is_ready(message)
     1.8 +    def is_ready = Isabelle_Document.is_ready(message)
     1.9      def is_syslog = is_init || is_exit || is_system || is_ready || is_stderr
    1.10  
    1.11      override def toString: String =
    1.12 @@ -100,7 +100,7 @@
    1.13      if (kind == Isabelle_Markup.RAW)
    1.14        receiver(new Result(XML.Elem(Markup(kind, props), body)))
    1.15      else {
    1.16 -      val msg = XML.Elem(Markup(kind, props), Isar_Document.clean_message(body))
    1.17 +      val msg = XML.Elem(Markup(kind, props), Isabelle_Document.clean_message(body))
    1.18        receiver(new Result(xml_cache.cache_tree(msg).asInstanceOf[XML.Elem]))
    1.19      }
    1.20    }