--- a/src/Doc/antiquote_setup.ML Mon Dec 22 15:50:16 2014 +0100
+++ b/src/Doc/antiquote_setup.ML Mon Dec 22 16:44:24 2014 +0100
@@ -127,7 +127,9 @@
#> (if Config.get ctxt Thy_Output.display
then
map (fn (p, name) =>
- Output.output (Pretty.string_of (Pretty.indent (Config.get ctxt Thy_Output.indent) p)) ^
+ Output.output
+ (Thy_Output.string_of_margin ctxt
+ (Pretty.indent (Config.get ctxt Thy_Output.indent) p)) ^
"\\rulename{" ^ Output.output (Pretty.str_of (Thy_Output.pretty_text ctxt name)) ^ "}")
#> space_implode "\\par\\smallskip%\n"
#> enclose "\\begin{isabelle}%\n" "%\n\\end{isabelle}"