Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Demo improvements | 2010-09-30 | |
| | |||
* | Especialize uses a termination measure based on number of arguments introduced | 2009-12-15 | |
| | |||
* | Some demo improvements | 2008-11-20 | |
| | |||
* | Demo HTML generation, minus source code | 2008-10-19 | |