src/Pure/PIDE/markup.scala
changeset 51574 2b58d7b139d6
parent 51570 3633828d80fc
child 51662 3391a493f39a
     1.1 --- a/src/Pure/PIDE/markup.scala	Thu Mar 28 16:11:48 2013 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Thu Mar 28 22:42:18 2013 +0100
     1.3 @@ -87,6 +87,7 @@
     1.4    val BREAK = "break"
     1.5  
     1.6    val ITEM = "item"
     1.7 +  val BULLET = "bullet"
     1.8  
     1.9    val SEPARATOR = "separator"
    1.10