--- a/src/Pure/PIDE/markup.ML Wed Jan 14 11:52:08 2015 +0100
+++ b/src/Pure/PIDE/markup.ML Wed Jan 14 14:28:52 2015 +0100
@@ -186,7 +186,7 @@
val command_timing: Properties.entry
val loading_theory: string -> Properties.T
val dest_loading_theory: Properties.T -> string option
- val use_theories_result: string -> bool -> Properties.T
+ val build_theories_result: string -> bool -> Properties.T
val print_operationsN: string
val print_operations: Properties.T
val simp_trace_panelN: string
@@ -597,8 +597,8 @@
fun dest_loading_theory [("function", "loading_theory"), ("name", name)] = SOME name
| dest_loading_theory _ = NONE;
-fun use_theories_result id ok =
- [("function", "use_theories_result"), ("id", id), ("ok", print_bool ok)];
+fun build_theories_result id ok =
+ [("function", "build_theories_result"), ("id", id), ("ok", print_bool ok)];
val print_operationsN = "print_operations";
val print_operations = [(functionN, print_operationsN)];