src/Pure/PIDE/markup.scala
changeset 53378 07990ba8c0ea
parent 53055 0fe8a9972eda
child 54702 3daeba5130f0
     1.1 --- a/src/Pure/PIDE/markup.scala	Tue Sep 03 11:58:34 2013 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Tue Sep 03 13:09:15 2013 +0200
     1.3 @@ -105,8 +105,8 @@
     1.4    val CLASS = "class"
     1.5    val TYPE_NAME = "type_name"
     1.6    val FIXED = "fixed"
     1.7 +  val CASE = "case"
     1.8    val CONSTANT = "constant"
     1.9 -
    1.10    val DYNAMIC_FACT = "dynamic_fact"
    1.11  
    1.12