src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Fri Apr 25 11:34:29 2025 +0200
+++ b/src/Pure/PIDE/command.ML	Fri Apr 25 16:54:39 2025 +0200
@@ -482,6 +482,7 @@
       then
         SOME {delay = NONE, pri = Task_Queue.urgent_pri + 1, persistent = false, strict = false,
           print_fn = fn _ => fn st =>
-            if Toplevel.is_proof st then Output.state (Toplevel.string_of_state st)
+            if Toplevel.is_proof st
+            then Output.state (Pretty.strings_of (Pretty.chunks (Toplevel.pretty_state st)))
             else ()}
       else NONE);