--- 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 *)