log src/elaborate.sig

age author description
2009-05-31 Adam Chlipala Expose resolveClass from Elaborate
2008-09-11 Adam Chlipala Crud listing IDs
2008-06-22 Adam Chlipala Separate compilation and automatic basis importation
2008-06-12 Adam Chlipala Simple signature matching
2008-01-26 Adam Chlipala Elaborating files
2008-01-26 Adam Chlipala Rename Laconic* modules to Source*
2008-01-26 Adam Chlipala Start of elaboration