src/Pure/Tools/isabelle_process.ML
changeset 28498 cb1b43edb5ed
parent 28491 c5420429a5aa
child 29327 e41274f6cc9d
equal deleted inserted replaced
28497:40e1cc165b05 28498:cb1b43edb5ed
   128     Output.priority_fn := message out_stream "D" Markup.priorityN;
   128     Output.priority_fn := message out_stream "D" Markup.priorityN;
   129     Output.tracing_fn  := message out_stream "E" Markup.tracingN;
   129     Output.tracing_fn  := message out_stream "E" Markup.tracingN;
   130     Output.warning_fn  := message out_stream "F" Markup.warningN;
   130     Output.warning_fn  := message out_stream "F" Markup.warningN;
   131     Output.error_fn    := message out_stream "G" Markup.errorN;
   131     Output.error_fn    := message out_stream "G" Markup.errorN;
   132     Output.debug_fn    := message out_stream "H" Markup.debugN;
   132     Output.debug_fn    := message out_stream "H" Markup.debugN;
   133     Output.prompt_fn   := message out_stream "I" Markup.promptN;
   133     Output.prompt_fn   := ignore;
   134     out_stream
   134     out_stream
   135   end;
   135   end;
   136 
   136 
   137 end;
   137 end;
   138 
   138