--- a/src/Pure/General/markup.scala Fri Dec 18 12:10:52 2009 +0100
+++ b/src/Pure/General/markup.scala Fri Dec 18 12:28:50 2009 +0100
@@ -182,9 +182,7 @@
val READY = "ready"
- /* content */
+ /* system data */
- val ROOT = "root"
- val BAD = "bad"
val DATA = "data"
}