src/Pure/General/markup.scala
2008-08-23 ago Common markup elements.