src/Pure/General/markup.scala
changeset 42136 826168ae0213
parent 41483 4a8431c73cf2
child 42202 f6483ed40529
equal deleted inserted replaced
42135:da200fa2768c 42136:826168ae0213
    82 
    82 
    83 
    83 
    84   /* misc properties */
    84   /* misc properties */
    85 
    85 
    86   val NAME = "name"
    86   val NAME = "name"
       
    87   val Name = new Property(NAME)
       
    88 
    87   val KIND = "kind"
    89   val KIND = "kind"
       
    90   val Kind = new Property(KIND)
    88 
    91 
    89 
    92 
    90   /* formal entities */
    93   /* formal entities */
    91 
    94 
    92   val BINDING = "binding"
    95   val BINDING = "binding"
   127   val TCLASS = "tclass"
   130   val TCLASS = "tclass"
   128   val TYCON = "tycon"
   131   val TYCON = "tycon"
   129   val FIXED_DECL = "fixed_decl"
   132   val FIXED_DECL = "fixed_decl"
   130   val FIXED = "fixed"
   133   val FIXED = "fixed"
   131   val CONST_DECL = "const_decl"
   134   val CONST_DECL = "const_decl"
   132   val CONST = "const"
   135   val CONST = "constant"
   133   val FACT_DECL = "fact_decl"
   136   val FACT_DECL = "fact_decl"
   134   val FACT = "fact"
   137   val FACT = "fact"
   135   val DYNAMIC_FACT = "dynamic_fact"
   138   val DYNAMIC_FACT = "dynamic_fact"
   136   val LOCAL_FACT_DECL = "local_fact_decl"
   139   val LOCAL_FACT_DECL = "local_fact_decl"
   137   val LOCAL_FACT = "local_fact"
   140   val LOCAL_FACT = "local_fact"