equal
deleted
inserted
replaced
171 val _ = Output.raw_stdout Symbol.STX; |
171 val _ = Output.raw_stdout Symbol.STX; |
172 |
172 |
173 val _ = quick_and_dirty := true; |
173 val _ = quick_and_dirty := true; |
174 val _ = Goal.parallel_proofs := 0; |
174 val _ = Goal.parallel_proofs := 0; |
175 val _ = Context.set_thread_data NONE; |
175 val _ = Context.set_thread_data NONE; |
176 val _ = Unsynchronized.change print_mode |
176 val _ = |
177 (fold (update op =) [isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]); |
177 Unsynchronized.change print_mode |
|
178 (fold (update op =) |
|
179 [Symbol.xsymbolsN, isabelle_processN, Keyword.keyword_statusN, Pretty.symbolicN]); |
178 |
180 |
179 val in_stream = setup_channels in_fifo out_fifo; |
181 val in_stream = setup_channels in_fifo out_fifo; |
180 val _ = Keyword.status (); |
182 val _ = Keyword.status (); |
181 val _ = Output.status (Markup.markup Markup.ready "process ready"); |
183 val _ = Output.status (Markup.markup Markup.ready "process ready"); |
182 in loop in_stream end)); |
184 in loop in_stream end)); |