src/Pure/Tools/debugger.ML

--- a/src/Pure/Tools/debugger.ML	Wed Jul 29 11:41:26 2015 +0200
+++ b/src/Pure/Tools/debugger.ML	Wed Jul 29 13:34:04 2015 +0200
@@ -4,9 +4,21 @@
 Interactive debugger for Isabelle/ML.
 *)
 
-structure Debugger: sig end =
+signature DEBUGGER =
+sig
+  val output: string -> unit
+end;
+
+structure Debugger: DEBUGGER =
 struct
 
+(* messages *)
+
+fun output msg =
+  Output.protocol_message
+    (Markup.debugger_output (Simple_Thread.the_name ()) (serial ())) [msg];
+
+
 (* global state *)
 
 datatype state =
@@ -79,7 +91,7 @@
   then ()
   else
     with_debugging (fn () =>
-      (case Simple_Thread.name () of
+      (case Simple_Thread.get_name () of
         NONE => ()
       | SOME name => debug_loop name));