diff -r 7a2bd0d12f18 -r 7f46426e69ab src/Pure/PIDE/markup.scala
--- a/src/Pure/PIDE/markup.scala	Sat Sep 20 18:15:23 2025 +0200
+++ b/src/Pure/PIDE/markup.scala	Sat Sep 20 18:38:45 2025 +0200
@@ -519,10 +519,6 @@
 
   val TIMING = "timing"
 
-  object Timing {
-    def apply(timing: isabelle.Timing): Markup = Markup(TIMING, Timing_Properties(timing))
-  }
-
 
   /* process result */