src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Thu Apr 03 13:49:37 2014 +0200
+++ b/src/Pure/PIDE/resources.scala	Thu Apr 03 14:54:17 2014 +0200
@@ -101,5 +101,11 @@
     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 =
+    new Isabelle_Process(receiver, args) with Protocol
 }