src/Pure/PIDE/markup.ML

   val blockN: string val block: int -> T
   val widthN: string
   val breakN: string val break: int -> T
   val fbreakN: string val fbreak: T
   val itemN: string val item: T
+  val wordsN: string val words: T
   val hiddenN: string val hidden: T
   val system_optionN: string
   val theoryN: string
   val classN: string
   val type_nameN: string

 val (fbreakN, fbreak) = markup_elem "fbreak";
 
 val (itemN, item) = markup_elem "item";
 
 
-(* hidden text *)
+(* text properties *)
+
+val (wordsN, words) = markup_elem "words";
 
 val (hiddenN, hidden) = markup_elem "hidden";
 
 
 (* formal entities *)