src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Thu Mar 28 15:00:27 2013 +0100
+++ b/src/Pure/PIDE/markup.scala	Thu Mar 28 15:36:45 2013 +0100
@@ -82,9 +82,12 @@
 
   val Indent = new Properties.Int("indent")
   val BLOCK = "block"
+
   val Width = new Properties.Int("width")
   val BREAK = "break"
 
+  val ITEM = "item"
+
   val SEPARATOR = "separator"