log src/elab_print.sig

age author description
2010-06-01 Adam Chlipala Try harder to place wildified 'con' declarations properly
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala hello compiles with CSS
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
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