src/Pure/PIDE/markup.ML

   val add_mode: string -> (T -> Output.output * Output.output) -> unit
   val output: T -> Output.output * Output.output
   val enclose: T -> Output.output -> Output.output
   val markup: T -> string -> string
   val markup_only: T -> string
+  val markup_report: string -> string
 end;
 
 structure Markup: MARKUP =
 struct
 

   let val (bg, en) = output m
   in Library.enclose (Output.escape bg) (Output.escape en) end;
 
 fun markup_only m = markup m "";
 
+fun markup_report "" = ""
+  | markup_report txt = markup report txt;
+
 end;