Mercurial > urweb
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 |