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