Mercurial > urweb
log demo/metaform2.ur
age | author | description |
---|---|---|
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 | Metaform demos, minus prose |