diff -r 95da048f47d9 -r 301612847ea3 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Wed Sep 11 17:00:02 2024 +0200
+++ b/src/Pure/System/isabelle_process.ML	Wed Sep 11 19:35:21 2024 +0200
@@ -25,10 +25,10 @@
 fun is_active () = Print_Mode.print_mode_active isabelle_processN;
 
 val _ = Markup.add_mode isabelle_processN YXML.markup_ops;
-val _ = Pretty.add_mode isabelle_processN Pretty.markup_ops;
+val _ = Pretty.add_mode isabelle_processN Pretty.symbolic_ops;
 
 val protocol_modes1 = [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN];
-val protocol_modes2 = [isabelle_processN, Pretty.symbolicN];
+val protocol_modes2 = [isabelle_processN];
 
 
 (* restricted tracing messages *)