changeset 39513 | fce2202892c4 |
parent 39509 | cab2719398a7 |
child 39528 | c01d89d18ff0 |
--- a/src/Pure/System/isabelle_process.ML Fri Sep 17 21:50:44 2010 +0200 +++ b/src/Pure/System/isabelle_process.ML Fri Sep 17 22:17:57 2010 +0200 @@ -109,7 +109,6 @@ Output.tracing_fn := standard_message out_stream true "E"; Output.warning_fn := standard_message out_stream true "F"; Output.error_fn := standard_message out_stream true "G"; - Output.debug_fn := standard_message out_stream true "H"; Output.priority_fn := ! Output.writeln_fn; Output.prompt_fn := ignore; (in_stream, out_stream)