log src/elab_env.sml

age author description
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