src/Pure/PIDE/protocol.scala

--- 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