src/Pure/pure_syn.ML

   Outer_Syntax.command ("txt", @{here}) "formal comment (secondary style)"
     (Parse.opt_target -- Parse.document_source >> Thy_Output.document_command);
 
 val _ =
   Outer_Syntax.command ("text_raw", @{here}) "raw LaTeX text"
-    (Parse.document_source >> K (Toplevel.keep (fn _ => ())));
+    (Parse.document_source >> (fn s => Toplevel.keep (fn _ => Thy_Output.report_text s)));
 
 val _ =
   Outer_Syntax.command ("theory", @{here}) "begin theory"
     (Thy_Header.args >>
       (fn _ => Toplevel.init_theory (fn () => error "Missing theory initialization")));