src/Tools/Code/code_target.ML

       (output width some_path content; NONE)
   | serialization _ string content width Produce =
       string [] width content |> SOME
   | serialization _ string content width (Present syms) =
      string syms width content
-     |> (apfst o map o apsnd) (Pretty.output (SOME width) o Pretty.str)
+     |> (apfst o map o apsnd) Output.output
      |> SOME;
 
 fun export some_path f = (f (Export some_path); ());
 fun produce f = the (f Produce);
 fun present syms f = space_implode "\n\n" (map snd (fst (the (f (Present syms)))));

   in
     Code_Symbol.maps_attr'
       (arrange check_const_syntax) (arrange check_tyco_syntax)
         (arrange ((K o K o K) I)) (arrange ((K o K o K) I)) (arrange ((K o K o K) I))
         (arrange (fn ctxt => fn _ => fn _ => fn (raw_content, raw_cs) =>
-          (Code_Printer.str raw_content, map (prep_const ctxt) raw_cs)))
+          (Pretty.blk (0, Pretty.fbreaks (map Code_Printer.str (split_lines raw_content))),
+            map (prep_const ctxt) raw_cs)))
   end;
 
 fun cert_printings ctxt = cert_syms ctxt #> arrange_printings cert_const ctxt;
 
 fun read_printings ctxt = read_syms ctxt #> arrange_printings read_const ctxt;