--- a/src/Pure/PIDE/session.scala Mon Sep 22 17:28:46 2025 +0200
+++ b/src/Pure/PIDE/session.scala Mon Sep 22 21:41:29 2025 +0200
@@ -536,7 +536,7 @@
if (!handled) {
msg.properties match {
case Protocol.Command_Timing(state_id, props) if prover.defined =>
- val message = XML.elem(Markup.STATUS, List(XML.elem(Markup(Markup.TIMING, props))))
+ val message = XML.elem(Markup(Markup.TIMING, props))
change_command(_.accumulate(state_id, cache.elem(message), cache))
command_timings.post(Session.Command_Timing(state_id, props))