diff -r 144523e0678e -r 5510c8444bc4 src/Pure/PIDE/markup.ML
--- a/src/Pure/PIDE/markup.ML	Tue Aug 04 23:11:16 2015 +0200
+++ b/src/Pure/PIDE/markup.ML	Wed Aug 05 14:18:07 2015 +0200
@@ -191,6 +191,7 @@
   val build_theories_result: string -> Properties.T
   val print_operationsN: string
   val print_operations: Properties.T
+  val debugger_state: string -> Properties.T
   val debugger_output: string -> Properties.T
   val simp_trace_panelN: string
   val simp_trace_logN: string
@@ -614,6 +615,7 @@
 
 (* debugger *)
 
+fun debugger_state name = [(functionN, "debugger_state"), (nameN, name)];
 fun debugger_output name = [(functionN, "debugger_output"), (nameN, name)];