src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Tue Mar 08 11:18:21 2016 +0100
+++ b/src/Pure/PIDE/resources.scala	Tue Mar 08 14:44:11 2016 +0100
@@ -132,11 +132,5 @@
     Thy_Syntax.parse_change(this, reparse_limit, previous, doc_blobs, edits)
 
   def commit(change: Session.Change) { }
-
-
-  /* prover process */
-
-  def start_prover(receiver: Prover.Message => Unit, name: String, args: List[String]): Prover =
-    Isabelle_Process(receiver, args)
 }