log demo/tcSum.ur

age author description
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
2008-10-23 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo