equal
deleted
inserted
replaced
186 val default_modes2 = [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN]; |
186 val default_modes2 = [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN]; |
187 |
187 |
188 val init = uninterruptible (fn _ => fn socket => |
188 val init = uninterruptible (fn _ => fn socket => |
189 let |
189 let |
190 val _ = SHA1_Samples.test () |
190 val _ = SHA1_Samples.test () |
191 handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); reraise exn); |
191 handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); Exn.reraise exn); |
192 val _ = Output.physical_stderr Symbol.STX; |
192 val _ = Output.physical_stderr Symbol.STX; |
193 |
193 |
194 val _ = Printer.show_markup_default := true; |
194 val _ = Printer.show_markup_default := true; |
195 val _ = Context.set_thread_data NONE; |
195 val _ = Context.set_thread_data NONE; |
196 val _ = |
196 val _ = |