override default of Isabelle_Process, notably for PIDE export of "document.tex";
authorwenzelm
Sat May 19 20:42:34 2018 +0200 (21 months ago)
changeset 6822388dd06301dd3
parent 68222 3c1a716e7f59
child 68224 1f7308050349
child 68239 0764ee22a4d1
override default of Isabelle_Process, notably for PIDE export of "document.tex";
src/Pure/Thy/document_antiquotation.ML
     1.1 --- a/src/Pure/Thy/document_antiquotation.ML	Sat May 19 20:19:15 2018 +0200
     1.2 +++ b/src/Pure/Thy/document_antiquotation.ML	Sat May 19 20:42:34 2018 +0200
     1.3 @@ -159,7 +159,7 @@
     1.4  
     1.5  fun eval ctxt (opts, src) =
     1.6    let
     1.7 -    val preview_ctxt = fold option opts ctxt;
     1.8 +    val preview_ctxt = fold option opts (Config.put show_markup false ctxt);
     1.9      val _ = command src preview_ctxt;
    1.10  
    1.11      val print_ctxt = Context_Position.set_visible false preview_ctxt;