src/Pure/General/markup.scala
changeset 43746 a41f618c641d
parent 43721 fad8634cee62
child 43748 c70bd78ec83c
--- 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"