src/Pure/PIDE/batch_session.scala
changeset 62556 c115e69f457f
parent 62545 8ebffdaf2ce2
child 62631 c39614ddb80b
     1.1 --- a/src/Pure/PIDE/batch_session.scala	Tue Mar 08 11:18:21 2016 +0100
     1.2 +++ b/src/Pure/PIDE/batch_session.scala	Tue Mar 08 14:44:11 2016 +0100
     1.3 @@ -58,7 +58,8 @@
     1.4          case _ =>
     1.5        }
     1.6  
     1.7 -    prover_session.start("Isabelle", List("-q", parent_session))
     1.8 +    prover_session.start(receiver =>
     1.9 +      Isabelle_Process(options, heap = parent_session, receiver = receiver))
    1.10  
    1.11      batch_session
    1.12    }