equal
deleted
inserted
replaced
185 (* init protocol *) |
185 (* init protocol *) |
186 |
186 |
187 val default_modes1 = [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN]; |
187 val default_modes1 = [Syntax_Trans.no_bracketsN, Syntax_Trans.no_type_bracketsN]; |
188 val default_modes2 = [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN]; |
188 val default_modes2 = [Symbol.xsymbolsN, isabelle_processN, Pretty.symbolicN]; |
189 |
189 |
190 val init_protocol = uninterruptible (fn _ => fn socket => |
190 val init_protocol = Multithreading.uninterruptible (fn _ => fn socket => |
191 let |
191 let |
192 val _ = SHA1.test_samples () |
192 val _ = SHA1.test_samples () |
193 handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); Exn.reraise exn); |
193 handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); Exn.reraise exn); |
194 val _ = Output.physical_stderr Symbol.STX; |
194 val _ = Output.physical_stderr Symbol.STX; |
195 |
195 |