Mercurial > urweb
log src/corify.sig
age | author | description |
---|---|---|
2009-05-02 | Adam Chlipala | Path rewriting |
2008-10-19 | Adam Chlipala | Simple generation of persistent paths |
2008-06-19 | Adam Chlipala | Corify removes modules |
2008-06-08 | Adam Chlipala | Conversion to Core |