diff -r da200fa2768c -r 826168ae0213 src/Pure/General/markup.scala --- a/src/Pure/General/markup.scala Sun Mar 27 20:55:01 2011 +0200 +++ b/src/Pure/General/markup.scala Sun Mar 27 21:19:23 2011 +0200 @@ -84,7 +84,10 @@ /* misc properties */ val NAME = "name" + val Name = new Property(NAME) + val KIND = "kind" + val Kind = new Property(KIND) /* formal entities */ @@ -129,7 +132,7 @@ val FIXED_DECL = "fixed_decl" val FIXED = "fixed" val CONST_DECL = "const_decl" - val CONST = "const" + val CONST = "constant" val FACT_DECL = "fact_decl" val FACT = "fact" val DYNAMIC_FACT = "dynamic_fact"