Mercurial Mercurial > repos > testboard / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/document_antiquotation.ML
changeset 72305 9c0b835d4cc2
parent 70308 a0b21b4b7a4a 
--- a/src/Pure/Thy/document_antiquotation.ML	Sat Jul 25 23:23:59 2020 +0200
+++ b/src/Pure/Thy/document_antiquotation.ML	Sun Jul 26 21:53:29 2020 +0200
@@ -181,7 +181,8 @@
     val _ = command pos (opts, src) preview_ctxt;
 
     val print_ctxt = Context_Position.set_visible false preview_ctxt;
-    val print_modes = space_explode "," (Config.get print_ctxt thy_output_modes) @ [Latex.latexN];
+    val print_modes =
+      space_explode "," (Config.get print_ctxt thy_output_modes) @ [Latex.latexN, Pretty.regularN];
   in [Print_Mode.with_modes print_modes (fn () => command pos (opts, src) print_ctxt) ()] end;
 
 in
testboard