| changeset 65222 | fb8253564483 |
| parent 63806 | c54a53ef1873 |
| child 67381 | 146757999c8d |
| 65221:6af51a47545b | 65222:fb8253564483 |
|---|---|
15 struct |
15 struct |
16 |
16 |
17 (** global state **) |
17 (** global state **) |
18 |
18 |
19 (* output messages *) |
19 (* output messages *) |
20 |
|
21 val _ = Session.protocol_handler "isabelle.Debugger$Handler"; |
|
22 |
20 |
23 fun output_message kind msg = |
21 fun output_message kind msg = |
24 if msg = "" then () |
22 if msg = "" then () |
25 else |
23 else |
26 Output.protocol_message |
24 Output.protocol_message |