changeset 43552 | 156c822f181a |
parent 43551 | 07a9cbf2376f |
child 43560 | d1650e3720fd |
--- a/src/Pure/General/markup.scala Sat Jun 25 19:19:13 2011 +0200 +++ b/src/Pure/General/markup.scala Sat Jun 25 19:38:35 2011 +0200 @@ -148,9 +148,10 @@ /* logical entities */ val CLASS = "class" - val TYCON = "tycon" + val TYPE = "type" val FIXED = "fixed" - val CONST = "constant" + val CONSTANT = "constant" + val DYNAMIC_FACT = "dynamic_fact"