log src/elab_err.sml

age author description
2009-05-12 Adam Chlipala Improvements while working on Graftid
2009-04-09 Adam Chlipala More flexible foreign keying
2009-04-09 Adam Chlipala Made type class system very general; demo compiles
2009-04-07 Adam Chlipala Enhance table sig item support and get demo compiling again
2009-02-24 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2008-10-21 Adam Chlipala Sum prose
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-13 Adam Chlipala foldTR2