--- a/src/Pure/PIDE/markup.scala Tue Sep 03 11:58:34 2013 +0200
+++ b/src/Pure/PIDE/markup.scala Tue Sep 03 13:09:15 2013 +0200
@@ -105,8 +105,8 @@
val CLASS = "class"
val TYPE_NAME = "type_name"
val FIXED = "fixed"
+ val CASE = "case"
val CONSTANT = "constant"
-
val DYNAMIC_FACT = "dynamic_fact"