--- a/src/Pure/PIDE/markup.ML Wed Jul 29 11:41:26 2015 +0200
+++ b/src/Pure/PIDE/markup.ML Wed Jul 29 13:34:04 2015 +0200
@@ -191,6 +191,7 @@
val build_theories_result: string -> Properties.T
val print_operationsN: string
val print_operations: Properties.T
+ val debugger_output: string -> serial -> Properties.T
val simp_trace_panelN: string
val simp_trace_logN: string
val simp_trace_stepN: string
@@ -611,6 +612,12 @@
val print_operations = [(functionN, print_operationsN)];
+(* debugger *)
+
+fun debugger_output name i =
+ [(functionN, "debugger_output"), (nameN, name), (serialN, print_int i)];
+
+
(* simplifier trace *)
val simp_trace_panelN = "simp_trace_panel";