--- a/src/Pure/System/isabelle_process.ML Fri Sep 06 20:31:20 2024 +0200
+++ b/src/Pure/System/isabelle_process.ML Mon Sep 09 11:12:13 2024 +0200
@@ -24,8 +24,8 @@
fun is_active () = Print_Mode.print_mode_active isabelle_processN;
-val _ = Output.add_mode isabelle_processN Output.default_output Output.default_escape;
-val _ = Markup.add_mode isabelle_processN YXML.output_markup;
+val _ = Output.add_mode isabelle_processN Output.default_ops;
+val _ = Markup.add_mode isabelle_processN YXML.markup_ops;
val protocol_modes1 = [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN];
val protocol_modes2 = [isabelle_processN, Pretty.symbolicN];