diff -r fe8598c92be7 -r 3db393729a65 src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Sun Jun 29 14:17:49 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Sun Jun 29 15:48:13 2025 +0200
@@ -810,6 +810,9 @@
     }
   }
 
+  def system_output(text: String): Unit =
+    manager.send(new Prover.System_Output(text))
+
   def protocol_command_raw(name: String, args: List[Bytes]): Unit =
     manager.send(Protocol_Command_Raw(name, args))