src/Pure/System/session.scala

--- a/src/Pure/System/session.scala	Tue Sep 06 11:18:19 2011 +0200
+++ b/src/Pure/System/session.scala	Tue Sep 06 11:25:27 2011 +0200
@@ -56,6 +56,8 @@
   val assignments = new Event_Bus[Session.Assignment.type]
   val commands_changed = new Event_Bus[Session.Commands_Changed]
   val phase_changed = new Event_Bus[Session.Phase]
+  val syslog_messages = new Event_Bus[Isabelle_Process.Result]
+  val raw_output_messages = new Event_Bus[Isabelle_Process.Result]
   val raw_messages = new Event_Bus[Isabelle_Process.Message]  // potential bottle-neck
 
 
@@ -451,6 +453,8 @@
 
             case result: Isabelle_Process.Result =>
               handle_result(result)
+              if (result.is_syslog) syslog_messages.event(result)
+              if (result.is_stdout) raw_output_messages.event(result)
               raw_messages.event(result)
           }