src/Doc/antiquote_setup.ML
changeset 59175 bf465f335e85
parent 59083 88b0b1f28adc
child 59809 87641097d0f3
     1.1 --- a/src/Doc/antiquote_setup.ML	Mon Dec 22 15:50:16 2014 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Mon Dec 22 16:44:24 2014 +0100
     1.3 @@ -127,7 +127,9 @@
     1.4        #> (if Config.get ctxt Thy_Output.display
     1.5            then
     1.6              map (fn (p, name) =>
     1.7 -              Output.output (Pretty.string_of (Pretty.indent (Config.get ctxt Thy_Output.indent) p)) ^
     1.8 +              Output.output
     1.9 +                (Thy_Output.string_of_margin ctxt
    1.10 +                  (Pretty.indent (Config.get ctxt Thy_Output.indent) p)) ^
    1.11                "\\rulename{" ^ Output.output (Pretty.str_of (Thy_Output.pretty_text ctxt name)) ^ "}")
    1.12              #> space_implode "\\par\\smallskip%\n"
    1.13              #> enclose "\\begin{isabelle}%\n" "%\n\\end{isabelle}"