log src/elab_print.sig

age author description
2008-08-31 Adam Chlipala Laconic -> Ur
2008-07-31 Adam Chlipala Elaborating some basic pattern matching
2008-06-19 Adam Chlipala Beginning of functor elaboration
2008-06-12 Adam Chlipala Simple signature matching
2008-03-28 Adam Chlipala Simple elaboration working
2008-03-28 Adam Chlipala Start of elaborating expressions
2008-01-26 Adam Chlipala Elaborating cons and decls