Mercurial > urweb
log tests/modproj.lac
age | author | description |
---|---|---|
2008-06-19 | Adam Chlipala | Corify removes modules |
2008-06-17 | Adam Chlipala | Proper selfification |
2008-06-17 | Adam Chlipala | Elaborating module projection |
age | author | description |
---|---|---|
2008-06-19 | Adam Chlipala | Corify removes modules |
2008-06-17 | Adam Chlipala | Proper selfification |
2008-06-17 | Adam Chlipala | Elaborating module projection |