--- a/src/Pure/General/output_primitives.ML Sat Apr 09 19:30:15 2016 +0200
+++ b/src/Pure/General/output_primitives.ML Sat Apr 09 19:38:25 2016 +0200
@@ -21,6 +21,7 @@
val report_fn: output list -> unit
val result_fn: properties -> output list -> unit
val protocol_message_fn: properties -> output list -> unit
+ val markup_fn: string * properties -> output * output
end;
structure Output_Primitives: OUTPUT_PRIMITIVES =
@@ -45,4 +46,6 @@
fun result_fn (_: properties) = ignore_outputs;
fun protocol_message_fn (_: properties) = ignore_outputs;
+fun markup_fn (_: string * properties) = ("", "");
+
end;