--- a/src/Pure/PIDE/markup.ML Mon Jul 06 16:52:48 2020 +0200
+++ b/src/Pure/PIDE/markup.ML Wed Jul 08 14:43:02 2020 +0200
@@ -223,6 +223,7 @@
val task_statistics: Properties.entry
val command_timing: Properties.entry
val theory_timing: Properties.entry
+ val session_timing: Properties.entry
val loading_theory: string -> Properties.T
val dest_loading_theory: Properties.T -> string option
val build_session_finished: Properties.T
@@ -705,6 +706,8 @@
val theory_timing = (functionN, "theory_timing");
+val session_timing = (functionN, "session_timing");
+
fun loading_theory name = [("function", "loading_theory"), ("name", name)];
fun dest_loading_theory [("function", "loading_theory"), ("name", name)] = SOME name