src/Pure/General/markup.scala

--- a/src/Pure/General/markup.scala	Wed Dec 09 21:55:14 2009 +0100
+++ b/src/Pure/General/markup.scala	Thu Dec 10 13:43:51 2009 +0100
@@ -185,6 +185,6 @@
   /* content */
 
   val ROOT = "root"
-  val RAW = "raw"
   val BAD = "bad"
+  val DATA = "data"
 }