Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_process.scala
changeset 38231 968844caaff9
parent 38230 ed147003de4b
child 38236 d8c7be27e01d 
--- a/src/Pure/System/isabelle_process.scala	Sat Aug 07 22:09:52 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Sat Aug 07 22:43:57 2010 +0200
@@ -53,7 +53,7 @@
     def is_control = Kind.is_control(kind)
     def is_system = Kind.is_system(kind)
     def is_status = kind == Markup.STATUS
-    def is_ready = is_status && body == List(XML.Elem(Markup(Markup.READY, Nil), Nil))
+    def is_ready = is_status && body == List(XML.Elem(Markup.Ready, Nil))
 
     override def toString: String =
     {
isabelle