# HG changeset patch
# User wenzelm
# Date 1262216154 -3600
# Node ID f0322b5951469cd6371e10a4bbd274d97b12c6cd
# Parent  99eefb83a35d353267cbb30716624e62d71dfbc6
added is_ready;

diff -r 99eefb83a35d -r f0322b595146 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Wed Dec 30 22:56:46 2009 +0100
+++ b/src/Pure/System/isabelle_process.scala	Thu Dec 31 00:35:54 2009 +0100
@@ -101,6 +101,8 @@
     def is_control = Kind.is_control(kind)
     def is_system = Kind.is_system(kind)
 
+    def is_ready = kind == Kind.STATUS && body == List(XML.Elem(Markup.READY, Nil, Nil))
+
     def cache(c: XML.Cache): Result =
       new Result(kind, c.cache_props(props), c.cache_trees(body))
   }