diff -r 7b8c4fe235aa -r bcbcf5c839ae CookBook/antiquote_setup.ML
--- a/CookBook/antiquote_setup.ML	Wed Jan 14 23:44:14 2009 +0000
+++ b/CookBook/antiquote_setup.ML	Thu Jan 15 13:42:28 2009 +0000
@@ -23,8 +23,7 @@
     #> (if ! gray then (enclose "\\begin{graybox}%\n" "%\n\\end{graybox}") else I) 
     #> enclose "\\begin{isabelle}%\n" "%\n\\end{isabelle}"
  else
-    (*map (Output.output o (if ! ThyOutput.break then Pretty.string_of else Pretty.str_of))*)
-    map (Output.output o Pretty.str_of)
+    map (Output.output o (if ! ThyOutput.break then Pretty.string_of else Pretty.str_of))
     #> space_implode "\\isasep\\isanewline%\n"
     #> enclose "\\isa{" "}");