--- a/src/Pure/General/markup.ML Tue Jul 05 22:38:44 2011 +0200
+++ b/src/Pure/General/markup.ML Tue Jul 05 22:39:15 2011 +0200
@@ -92,6 +92,7 @@
val command_spanN: string val command_span: string -> T
val ignored_spanN: string val ignored_span: T
val malformed_spanN: string val malformed_span: T
+ val loaded_theoryN: string val loaded_theory: string -> T
val elapsedN: string
val cpuN: string
val gcN: string
@@ -305,6 +306,11 @@
val (malformed_spanN, malformed_span) = markup_elem "malformed_span";
+(* theory loader *)
+
+val (loaded_theoryN, loaded_theory) = markup_string "loaded_theory" nameN;
+
+
(* timing *)
val timingN = "timing";