diff -r 4161a5a38f2a -r 8d30612cff2d src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Thu Oct 16 12:31:15 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Thu Oct 16 14:31:35 2025 +0200
@@ -534,7 +534,7 @@
           if (!handled) {
             msg.properties match {
               case Protocol.Command_Timing(state_id, props) if prover.defined =>
-                val message = XML.elem(Markup(Markup.TIMING, props))
+                val message = XML.elem(Markup(Markup.Command_Timing.name, props))
                 change_command(_.accumulate(state_id, cache.elem(message), cache))
                 command_timings.post(Session.Command_Timing(state_id, props))