--- a/src/Pure/PIDE/markup.ML Mon Nov 23 13:52:14 2020 +0100
+++ b/src/Pure/PIDE/markup.ML Mon Nov 23 15:14:58 2020 +0100
@@ -220,6 +220,7 @@
val theory_timing: Properties.entry
val session_timing: Properties.entry
val loading_theory: string -> Properties.T
+ val finished_theory: string -> Properties.T
val build_session_finished: Properties.T
val print_operationsN: string
val print_operations: Properties.T
@@ -692,7 +693,8 @@
val session_timing = (functionN, "session_timing");
-fun loading_theory name = [("function", "loading_theory"), ("name", name)];
+fun loading_theory name = [("function", "loading_theory"), (nameN, name)];
+fun finished_theory name = [("function", "finished_theory"), (nameN, name)];
val build_session_finished = [("function", "build_session_finished")];