src/Pure/PIDE/markup_tree.scala

     def results(x: A, entry: Entry): Option[A] =
     {
       var y = x
       var changed = false
       for {
-        elem <- entry.rev_markup // FIXME proper cumulation order (including status markup) (!?)
+        elem <- entry.markup
         if elements(elem.name)
         y1 <- result(y, Text.Info(entry.range, elem))
       } { y = y1; changed = true }
       if (changed) Some(y) else None
     }