src/Pure/Tools/debugger.scala

--- a/src/Pure/Tools/debugger.scala	Wed Jul 29 11:41:26 2015 +0200
+++ b/src/Pure/Tools/debugger.scala	Wed Jul 29 13:34:04 2015 +0200
@@ -34,12 +34,24 @@
 
   class Handler extends Session.Protocol_Handler
   {
+    private def debugger_output(prover: Prover, msg: Prover.Protocol_Output): Boolean =
+    {
+      msg.properties match {
+        case Markup.Debugger_Output(name, serial) =>
+          // FIXME
+          Output.writeln("debugger_output " + name + " " + serial + "\n" + msg.text)
+          true
+        case _ => false
+      }
+    }
+
     override def stop(prover: Prover)
     {
       manager.shutdown()
     }
 
-    val functions = Map.empty[String, (Prover, Prover.Protocol_Output) => Boolean]  // FIXME
+    val functions =
+      Map(Markup.DEBUGGER_OUTPUT -> debugger_output _)
   }