src/Pure/PIDE/markup.scala
changeset 67323 d02208cefbdb
parent 67322 734a4e44b159
child 67336 3ee6da378183
     1.1 --- a/src/Pure/PIDE/markup.scala	Tue Jan 02 15:38:22 2018 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Tue Jan 02 19:52:17 2018 +0100
     1.3 @@ -296,6 +296,7 @@
     1.4    /* Markdown document structure */
     1.5  
     1.6    val MARKDOWN_PARAGRAPH = "markdown_paragraph"
     1.7 +  val MARKDOWN_ITEM = "markdown_item"
     1.8    val Markdown_List = new Markup_String("markdown_list", "kind")
     1.9    val Markdown_Bullet = new Markup_Int("markdown_bullet", "depth")
    1.10