Mercurial > urweb
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 |