diff -r 1576fd83f1fe -r 37b61794a93a src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Wed Sep 24 16:53:36 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Wed Sep 24 17:41:36 2025 +0200
@@ -547,9 +547,11 @@
                 val entry = Export.Entry.make(Sessions.DRAFT, args, msg.chunk, cache)
                 change_command(_.add_export(id, (args.serial, entry)))
 
-              case Protocol.Loading_Theory(node_name, id) =>
+              case Protocol.Loading_Theory(node_name, id, commands) =>
                 val blobs_info = build_blobs_info(node_name)
-                try { global_state.change(_.begin_theory(node_name, id, msg.text, blobs_info)) }
+                try {
+                  global_state.change(_.begin_theory(node_name, id, commands, msg.text, blobs_info))
+                }
                 catch { case _: Document.State.Fail => bad_output() }
 
               case List(Markup.Commands_Accepted.THIS) =>