equal
deleted
inserted
replaced
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 := true; (* FIXME !? *) |
171 val _ = quick_and_dirty := false; |
|
172 val _ = Goal.parallel_proofs := 0; |
172 val _ = Context.set_thread_data NONE; |
173 val _ = Context.set_thread_data NONE; |
173 val _ = Unsynchronized.change print_mode |
174 val _ = Unsynchronized.change print_mode |
174 (fold (update op =) [isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]); |
175 (fold (update op =) [isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]); |
175 |
176 |
176 val in_stream = setup_channels in_fifo out_fifo; |
177 val in_stream = setup_channels in_fifo out_fifo; |