src/Pure/System/isabelle_process.ML
changeset 40521 8896bd93488e
parent 40518 035a27279705
child 42897 6bc8a6dcb3e0
equal deleted inserted replaced
40520:77a7b0a7d4b1 40521:8896bd93488e
   166 fun init in_fifo out_fifo = ignore (Simple_Thread.fork false (fn () =>
   166 fun init in_fifo out_fifo = ignore (Simple_Thread.fork false (fn () =>
   167   let
   167   let
   168     val _ = OS.Process.sleep (seconds 0.5);  (*yield to raw ML toplevel*)
   168     val _ = OS.Process.sleep (seconds 0.5);  (*yield to raw ML toplevel*)
   169     val _ = Output.raw_stdout Symbol.STX;
   169     val _ = Output.raw_stdout Symbol.STX;
   170 
   170 
   171     val _ = quick_and_dirty := false;
   171     val _ = quick_and_dirty := true;
   172     val _ = Goal.parallel_proofs := 0;
   172     val _ = Goal.parallel_proofs := 0;
   173     val _ = Context.set_thread_data NONE;
   173     val _ = Context.set_thread_data NONE;
   174     val _ = Unsynchronized.change print_mode
   174     val _ = Unsynchronized.change print_mode
   175       (fold (update op =) [isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
   175       (fold (update op =) [isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]);
   176 
   176