src/Pure/General/markup.scala

   val MESSAGE = "message"
   val CLASS = "class"
 
   val INIT = "init"
   val STATUS = "status"
+  val REPORT = "report"
   val WRITELN = "writeln"
   val TRACING = "tracing"
   val WARNING = "warning"
   val ERROR = "error"
   val DEBUG = "debug"