changeset 46121 | 30a69cd8a9a0 |
parent 45709 | 87017fcbad83 |
child 46166 | 4beb2f41ed93 |
--- a/src/Pure/PIDE/protocol.scala Thu Jan 05 13:27:50 2012 +0100 +++ b/src/Pure/PIDE/protocol.scala Thu Jan 05 14:15:37 2012 +0100 @@ -101,13 +101,6 @@ /* specific messages */ - def is_ready(msg: XML.Tree): Boolean = - msg match { - case XML.Elem(Markup(Isabelle_Markup.STATUS, _), - List(XML.Elem(Markup(Isabelle_Markup.READY, _), _))) => true - case _ => false - } - def is_tracing(msg: XML.Tree): Boolean = msg match { case XML.Elem(Markup(Isabelle_Markup.TRACING, _), _) => true