--- a/src/Pure/Thy/document_antiquotation.ML Fri Jan 19 15:20:13 2018 +0100
+++ b/src/Pure/Thy/document_antiquotation.ML Fri Jan 19 19:09:25 2018 +0100
@@ -16,6 +16,7 @@
val trim_blanks: Proof.context -> string -> string
val trim_lines: Proof.context -> string -> string
val indent_lines: Proof.context -> string -> string
+ val prepare_lines: Proof.context -> string -> string
val quote: Proof.context -> Pretty.T -> Pretty.T
val indent: Proof.context -> Pretty.T -> Pretty.T
val format: Proof.context -> Pretty.T -> string
@@ -60,6 +61,8 @@
prefix_lines (Symbol.spaces (Config.get ctxt thy_output_indent))
else I;
+fun prepare_lines ctxt = trim_lines ctxt #> indent_lines ctxt;
+
(* output *)