src/Pure/Thy/thy_output.ML

 
 (* verbatim text *)
 
 fun verbatim_text ctxt =
   if Config.get ctxt display then
+    split_lines #> map (prefix (Pretty.spaces (Config.get ctxt indent))) #> cat_lines #>
     Latex.output_ascii #> Latex.environment "isabellett"
   else
     split_lines #>
     map (Latex.output_ascii #> enclose "\\isatt{" "}") #>
     space_implode "\\isasep\\isanewline%\n";