src/Pure/Thy/document_antiquotation.ML
changeset 72305 9c0b835d4cc2
parent 70308 a0b21b4b7a4a
equal deleted inserted replaced
72304:f3e1144a1cec 72305:9c0b835d4cc2
   179   let
   179   let
   180     val preview_ctxt = fold option opts (Config.put show_markup false ctxt);
   180     val preview_ctxt = fold option opts (Config.put show_markup false ctxt);
   181     val _ = command pos (opts, src) preview_ctxt;
   181     val _ = command pos (opts, src) preview_ctxt;
   182 
   182 
   183     val print_ctxt = Context_Position.set_visible false preview_ctxt;
   183     val print_ctxt = Context_Position.set_visible false preview_ctxt;
   184     val print_modes = space_explode "," (Config.get print_ctxt thy_output_modes) @ [Latex.latexN];
   184     val print_modes =
       
   185       space_explode "," (Config.get print_ctxt thy_output_modes) @ [Latex.latexN, Pretty.regularN];
   185   in [Print_Mode.with_modes print_modes (fn () => command pos (opts, src) print_ctxt) ()] end;
   186   in [Print_Mode.with_modes print_modes (fn () => command pos (opts, src) print_ctxt) ()] end;
   186 
   187 
   187 in
   188 in
   188 
   189 
   189 fun evaluate eval_text ctxt antiq =
   190 fun evaluate eval_text ctxt antiq =