# HG changeset patch
# User wenzelm
# Date 1489838770 -3600
# Node ID 3f92d63dad12676451d36fd03880242d2aef4867
# Parent  fca593a627859eed2d1499f923fac0314a7256ce
clarified init (see also 32755e357a51, ac48def96b69);

diff -r fca593a62785 -r 3f92d63dad12 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Sat Mar 18 12:46:52 2017 +0100
+++ b/src/Pure/System/isabelle_process.ML	Sat Mar 18 13:06:10 2017 +0100
@@ -196,7 +196,6 @@
       handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); Exn.reraise exn);
     val _ = Output.physical_stderr Symbol.STX;
 
-    val _ = Printer.show_markup_default := true;
     val _ = Context.put_generic_context NONE;
     val _ =
       Unsynchronized.change print_mode
@@ -217,10 +216,12 @@
   Future.ML_statistics := Options.default_bool "ML_statistics";
   Multithreading.trace := Options.default_int "threads_trace";
   Multithreading.max_threads_update (Options.default_int "threads");
-  Goal.parallel_proofs := Options.default_int "parallel_proofs");
+  Goal.parallel_proofs := Options.default_int "parallel_proofs";
+  Printer.show_markup_default := false);
 
 fun init_options_interactive () =
  (init_options ();
-  Goal.parallel_proofs := (if Options.default_int "parallel_proofs" > 0 then 3 else 0));
+  Goal.parallel_proofs := (if Options.default_int "parallel_proofs" > 0 then 3 else 0);
+  Printer.show_markup_default := true);
 
 end;