Mercurial > urweb
log demo/sum.ur
age | author | description |
---|---|---|
2009-05-28 | Adam Chlipala | Demo compiles with pattern-matching-fu |
2009-03-10 | Adam Chlipala | Avoid any JavaScript when pages don't need it; update demo prose |
2009-02-24 | Adam Chlipala | Folder generation for functions |
2009-02-24 | Adam Chlipala | Demos compile again, with manual folders |
2009-02-24 | Adam Chlipala | Make folders abstract |
2009-02-22 | Adam Chlipala | demo/sum working with manual folders |
2008-10-21 | Adam Chlipala | Sum prose |
2008-10-21 | Adam Chlipala | Infering sum rows |
2008-10-21 | Adam Chlipala | Sum demo, minus inference of {Unit}s |