src/Pure/System/isabelle_process.ML
changeset 43746 a41f618c641d
parent 43684 85388f5570c4
child 43771 fc524449f511
     1.1 --- a/src/Pure/System/isabelle_process.ML	Mon Jul 11 10:27:50 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Jul 11 11:13:33 2011 +0200
     1.3 @@ -108,6 +108,7 @@
     1.4      Output.Private_Hooks.tracing_fn := standard_message mbox true "E";
     1.5      Output.Private_Hooks.warning_fn := standard_message mbox true "F";
     1.6      Output.Private_Hooks.error_fn := standard_message mbox true "G";
     1.7 +    Output.Private_Hooks.raw_message_fn := message mbox "H";
     1.8      Output.Private_Hooks.urgent_message_fn := ! Output.Private_Hooks.writeln_fn;
     1.9      Output.Private_Hooks.prompt_fn := ignore;
    1.10      message mbox "A" [] (Session.welcome ());