src/Pure/General/markup.scala

 
   /* system data */
 
   val DATA = "data"
 }
+
+sealed case class Markup(name: String, properties: List[(String, String)])