src/Pure/PIDE/rendering.scala

--- a/src/Pure/PIDE/rendering.scala	Wed Jan 03 11:06:41 2018 +0100
+++ b/src/Pure/PIDE/rendering.scala	Wed Jan 03 20:55:13 2018 +0100
@@ -207,6 +207,10 @@
   val caret_focus_elements = Markup.Elements(Markup.ENTITY)
 
   val antiquoted_elements = Markup.Elements(Markup.ANTIQUOTED)
+
+  val markdown_elements =
+    Markup.Elements(Markup.MARKDOWN_PARAGRAPH, Markup.MARKDOWN_ITEM, Markup.Markdown_List.name,
+      Markup.Markdown_Bullet.name)
 }
 
 abstract class Rendering(