# HG changeset patch
# User wenzelm
# Date 1526755354 -7200
# Node ID 88dd06301dd30f5fcf0435db1256749bc10bc5e8
# Parent  3c1a716e7f599e75f42de608430bb953adb3a13d
override default of Isabelle_Process, notably for PIDE export of "document.tex";

diff -r 3c1a716e7f59 -r 88dd06301dd3 src/Pure/Thy/document_antiquotation.ML
--- a/src/Pure/Thy/document_antiquotation.ML	Sat May 19 20:19:15 2018 +0200
+++ b/src/Pure/Thy/document_antiquotation.ML	Sat May 19 20:42:34 2018 +0200
@@ -159,7 +159,7 @@
 
 fun eval ctxt (opts, src) =
   let
-    val preview_ctxt = fold option opts ctxt;
+    val preview_ctxt = fold option opts (Config.put show_markup false ctxt);
     val _ = command src preview_ctxt;
 
     val print_ctxt = Context_Position.set_visible false preview_ctxt;