--- a/src/Pure/System/session.scala Sat May 22 20:37:59 2010 +0200
+++ b/src/Pure/System/session.scala Sat May 22 20:59:55 2010 +0200
@@ -36,6 +36,7 @@
val global_settings = new Event_Bus[Session.Global_Settings.type]
val raw_results = new Event_Bus[Isabelle_Process.Result]
+ val raw_output = new Event_Bus[Isabelle_Process.Result]
val results = new Event_Bus[Command]
val command_change = new Event_Bus[Command]
@@ -148,6 +149,8 @@
}
else if (result.kind == Isabelle_Process.Kind.EXIT)
prover = null
+ else if (result.is_raw)
+ raw_output.event(result)
else if (!result.is_system) // FIXME syslog (!?)
bad_result(result)
}