src/Pure/PIDE/command.scala

--- a/src/Pure/PIDE/command.scala	Mon Sep 22 17:28:46 2025 +0200
+++ b/src/Pure/PIDE/command.scala	Mon Sep 22 21:41:29 2025 +0200
@@ -285,6 +285,8 @@
         message: XML.Elem,
         cache: XML.Cache): State =
       message match {
+        case XML.Elem(markup @ Markup(Markup.TIMING, _), _) => add_status(markup)
+
         case XML.Elem(Markup(Markup.STATUS, _), msgs) =>
           if (command.span.is_theory) this
           else {