| changeset 80829 | bdae6195a287 |
| parent 80821 | eb383d50564b |
| child 80849 | e3a419073736 |
--- a/src/Pure/System/isabelle_process.ML Mon Sep 09 21:23:28 2024 +0200 +++ b/src/Pure/System/isabelle_process.ML Mon Sep 09 21:32:11 2024 +0200 @@ -26,6 +26,7 @@ val _ = Output.add_mode isabelle_processN Output.default_ops; val _ = Markup.add_mode isabelle_processN YXML.markup_ops; +val _ = Pretty.add_mode isabelle_processN Pretty.markup_ops; val protocol_modes1 = [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN]; val protocol_modes2 = [isabelle_processN, Pretty.symbolicN];