src/Pure/General/markup.scala

--- a/src/Pure/General/markup.scala	Tue Aug 17 23:23:29 2010 +0200
+++ b/src/Pure/General/markup.scala	Wed Aug 18 11:02:47 2010 +0200
@@ -48,6 +48,11 @@
   }
 
 
+  /* empty */
+
+  val Empty = Markup("", Nil)
+
+
   /* name */
 
   val NAME = "name"