src/Doc/antiquote_setup.ML

--- a/src/Doc/antiquote_setup.ML	Sat Oct 17 19:47:34 2015 +0200
+++ b/src/Doc/antiquote_setup.ML	Sat Oct 17 20:27:12 2015 +0200
@@ -132,7 +132,7 @@
                   (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}"
+            #> Latex.environment "isabelle"
           else
             map (fn (p, name) =>
               Output.output (Pretty.str_of p) ^