changeset 62884 | 66494de0aafe |
parent 62826 | eb94e570c1a4 |
child 62925 | f1bdf10f95d8 |
62883:b04e9fe29223 | 62884:66494de0aafe |
---|---|
191 (Runtime.exn_message exn handle _ (*sic!*) => |
191 (Runtime.exn_message exn handle _ (*sic!*) => |
192 "Exception raised, but failed to print details!"); |
192 "Exception raised, but failed to print details!"); |
193 in Output.protocol_message (Markup.build_theories_result id) [result] end); |
193 in Output.protocol_message (Markup.build_theories_result id) [result] end); |
194 |
194 |
195 end; |
195 end; |
196 |
|
197 structure Output: OUTPUT = Output; (*seal system channels!*) |