src/Pure/PIDE/resources.scala
changeset 56387 d92eb5c3960d
parent 56316 b1cf8ddc2e04
child 56392 bc118a32a870
     1.1 --- a/src/Pure/PIDE/resources.scala	Thu Apr 03 13:49:37 2014 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Thu Apr 03 14:54:17 2014 +0200
     1.3 @@ -101,5 +101,11 @@
     1.4      Thy_Syntax.parse_change(this, reparse_limit, previous, doc_blobs, edits)
     1.5  
     1.6    def commit(change: Session.Change) { }
     1.7 +
     1.8 +
     1.9 +  /* prover process */
    1.10 +
    1.11 +  def start_prover(receiver: Prover.Message => Unit, name: String, args: List[String]): Prover =
    1.12 +    new Isabelle_Process(receiver, args) with Protocol
    1.13  }
    1.14