log src/elab_env.sml

age author description
2009-08-06 Adam Chlipala Fix type class resolution infinite loop, discovered while meeting with Ezra
2009-06-16 Adam Chlipala Fix a bug in type class enrichment from substructures
2009-05-28 Adam Chlipala Destructing local let, to the point where demo compiles
2009-05-16 Adam Chlipala Mutual datatypes through Elaborate
2009-04-28 Adam Chlipala A view query works
2009-04-28 Adam Chlipala Preparing to allow views in SELECT FROM clauses
2009-04-28 Adam Chlipala LEFT JOIN
2009-04-12 Adam Chlipala Classes as optional arguments to Basis.tag
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala style declarations
2009-04-09 Adam Chlipala Made type class system very general; demo compiles
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-04-07 Adam Chlipala UNIQUE constraints
2009-03-29 Adam Chlipala Expunging nullable fields
2009-03-26 Adam Chlipala Enforce termination of type class instances