| changeset 80849 | e3a419073736 |
| parent 80829 | bdae6195a287 |
| child 80855 | 301612847ea3 |
--- a/src/Pure/System/isabelle_process.ML Tue Sep 10 20:36:01 2024 +0200 +++ b/src/Pure/System/isabelle_process.ML Wed Sep 11 12:11:47 2024 +0200 @@ -24,7 +24,6 @@ fun is_active () = Print_Mode.print_mode_active isabelle_processN; -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;