--- a/src/Pure/General/markup.scala Sat Aug 07 21:22:39 2010 +0200
+++ b/src/Pure/General/markup.scala Sat Aug 07 22:09:52 2010 +0200
@@ -214,3 +214,5 @@
val DATA = "data"
}
+
+sealed case class Markup(name: String, properties: List[(String, String)])