--- a/src/Pure/System/isabelle_process.ML Fri Apr 03 13:51:56 2020 +0200
+++ b/src/Pure/System/isabelle_process.ML Fri Apr 03 17:35:10 2020 +0200
@@ -152,13 +152,15 @@
| _ => props);
in message name props' (XML.blob ss) end;
+ fun report_message ss =
+ if Context_Position.pide_reports ()
+ then standard_message [] Markup.reportN ss else ();
+
val serial_props = Markup.serial_properties o serial;
val message_context =
- Unsynchronized.setmp Private_Output.status_fn
- (standard_message [] Markup.statusN) #>
- Unsynchronized.setmp Private_Output.report_fn
- (standard_message [] Markup.reportN) #>
+ Unsynchronized.setmp Private_Output.status_fn (standard_message [] Markup.statusN) #>
+ Unsynchronized.setmp Private_Output.report_fn report_message #>
Unsynchronized.setmp Private_Output.result_fn
(fn props => fn s => standard_message (props @ serial_props ()) Markup.resultN s) #>
Unsynchronized.setmp Private_Output.writeln_fn