src/Pure/System/isabelle_process.ML
changeset 49661 ac48def96b69
parent 49647 21ae8500d261
child 49677 c4e2762a265c
equal deleted inserted replaced
49660:de49d9b4d7bc 49661:ac48def96b69
   191 fun init rendezvous = ignore (Simple_Thread.fork false (fn () =>
   191 fun init rendezvous = ignore (Simple_Thread.fork false (fn () =>
   192   let
   192   let
   193     val _ = OS.Process.sleep (seconds 0.5);  (*yield to raw ML toplevel*)
   193     val _ = OS.Process.sleep (seconds 0.5);  (*yield to raw ML toplevel*)
   194     val _ = Output.physical_stderr Symbol.STX;
   194     val _ = Output.physical_stderr Symbol.STX;
   195 
   195 
       
   196     (* FIXME proper system options *)
       
   197     val _ = Printer.show_markup_default := true;
   196     val _ = quick_and_dirty := false;
   198     val _ = quick_and_dirty := false;
   197     val _ = Goal.parallel_proofs := 4;
   199     val _ = Goal.parallel_proofs := 4;
   198     val _ =
   200     val _ =
   199       if Multithreading.max_threads_value () < 2
   201       if Multithreading.max_threads_value () < 2
   200       then Multithreading.max_threads := 2 else ();
   202       then Multithreading.max_threads := 2 else ();