--- a/src/Pure/PIDE/batch_session.scala Wed Jan 14 16:27:19 2015 +0100
+++ b/src/Pure/PIDE/batch_session.scala Wed Jan 14 17:24:55 2015 +0100
@@ -43,10 +43,12 @@
val prover_session = new Session(resources)
+ val handler = new Build.Handler(progress, session)
+
prover_session.phase_changed +=
Session.Consumer[Session.Phase](getClass.getName) {
case Session.Ready =>
- prover_session.add_protocol_handler(Build.handler_name)
+ prover_session.add_protocol_handler(handler)
val master_dir = session_info.dir
val theories = session_info.theories.map({ case (_, opts, thys) => (opts, thys) })
build_theories_result =
@@ -58,16 +60,6 @@
case _ =>
}
- prover_session.all_messages +=
- Session.Consumer[Prover.Message](getClass.getName) {
- case msg: Prover.Output =>
- msg.properties match {
- case Markup.Loading_Theory(name) => progress.theory(session, name)
- case _ =>
- }
- case _ =>
- }
-
prover_session.start("Isabelle", List("-r", "-q", parent_session))
session_result.join