--- 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)];