--- a/src/Pure/PIDE/markup.ML Mon May 05 11:53:07 2014 +0200
+++ b/src/Pure/PIDE/markup.ML Mon May 05 15:17:07 2014 +0200
@@ -183,6 +183,8 @@
val loading_theory: string -> Properties.T
val dest_loading_theory: Properties.T -> string option
val use_theories_result: string -> bool -> Properties.T
+ val print_operationsN: string
+ val print_operations: Properties.T
val simp_trace_logN: string
val simp_trace_stepN: string
val simp_trace_recurseN: string
@@ -578,6 +580,9 @@
fun use_theories_result id ok =
[("function", "use_theories_result"), ("id", id), ("ok", print_bool ok)];
+val print_operationsN = "print_operations";
+val print_operations = [(functionN, print_operationsN)];
+
(* simplifier trace *)