Mercurial > urweb
log src/demo.sig
age | author | description |
---|---|---|
2010-09-30 | Adam Chlipala | Demo improvements |
2009-12-16 | Adam Chlipala | Especialize uses a termination measure based on number of arguments introduced |
2008-11-20 | Adam Chlipala | Some demo improvements |
2008-10-19 | Adam Chlipala | Demo HTML generation, minus source code |