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