diff -r 562e35bc351e -r a41f618c641d src/Pure/General/markup.scala
--- a/src/Pure/General/markup.scala	Mon Jul 11 10:27:50 2011 +0200
+++ b/src/Pure/General/markup.scala	Mon Jul 11 11:13:33 2011 +0200
@@ -321,6 +321,7 @@
   val TRACING = "tracing"
   val WARNING = "warning"
   val ERROR = "error"
+  val RAW = "raw"
   val SYSTEM = "system"
   val STDOUT = "stdout"
   val EXIT = "exit"