diff -r 3e08311ada8e -r 5c4800f6b25a src/Pure/PIDE/markup.ML
--- 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