Mercurial > urweb
log demo/crud2.ur
age | author | description |
---|---|---|
2009-05-28 | Adam Chlipala | Demo compiles with pattern-matching-fu |
2009-04-07 | Adam Chlipala | Add primary keys to demo |
2009-02-24 | Adam Chlipala | Folder generation for functors |
2009-02-24 | Adam Chlipala | Demos compile again, with manual folders |
2008-10-23 | Adam Chlipala | Crud2 demo |