--- a/src/Pure/PIDE/markup.ML Mon Jul 21 16:58:12 2014 +0200
+++ b/src/Pure/PIDE/markup.ML Mon Jul 21 17:37:22 2014 +0200
@@ -185,6 +185,7 @@
val use_theories_result: string -> bool -> Properties.T
val print_operationsN: string
val print_operations: Properties.T
+ val simp_trace_panelN: string
val simp_trace_logN: string
val simp_trace_stepN: string
val simp_trace_recurseN: string
@@ -586,6 +587,8 @@
(* simplifier trace *)
+val simp_trace_panelN = "simp_trace_panel";
+
val simp_trace_logN = "simp_trace_log";
val simp_trace_stepN = "simp_trace_step";
val simp_trace_recurseN = "simp_trace_recurse";