--- a/src/Pure/PIDE/markup.ML Tue Sep 23 13:11:52 2025 +0200
+++ b/src/Pure/PIDE/markup.ML Wed Sep 24 16:22:49 2025 +0200
@@ -264,7 +264,6 @@
val cancel_scala: string -> Properties.T
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 build_session_finished: Properties.T
@@ -833,8 +832,6 @@
val command_timing = function "command_timing";
-val theory_timing = function "theory_timing";
-
val session_timing = function "session_timing";
fun loading_theory name = [function "loading_theory", (nameN, name)];