src/Pure/PIDE/markup.ML

--- a/src/Pure/PIDE/markup.ML	Thu Mar 28 15:00:27 2013 +0100
+++ b/src/Pure/PIDE/markup.ML	Thu Mar 28 15:36:45 2013 +0100
@@ -34,6 +34,7 @@
   val widthN: string
   val breakN: string val break: int -> T
   val fbreakN: string val fbreak: T
+  val itemN: string val item: T
   val hiddenN: string val hidden: T
   val theoryN: string
   val classN: string
@@ -241,6 +242,8 @@
 
 val (fbreakN, fbreak) = markup_elem "fbreak";
 
+val (itemN, item) = markup_elem "item";
+
 
 (* hidden text *)