summaryrefslogtreecommitdiff
path: root/demo/more/dlist.ur
Commit message (Expand)AuthorAge
* Tweaking unification fix to apply to demo/moreGravatar Adam Chlipala2010-10-10
* Paging + filtering seemingly working, but runtime system isn't GCing signals ...Gravatar Adam Chlipala2009-09-19
* Progress on sorting + filteringGravatar Adam Chlipala2009-09-19
* Paging mostly working; just need to get it working properly with filteringGravatar Adam Chlipala2009-09-19
* Testing Dlist MaxLength with constant valueGravatar Adam Chlipala2009-09-19
* Testing Dlist StartPosition with constant offsetGravatar Adam Chlipala2009-09-19
* Pseudo-sort working with filtersGravatar Adam Chlipala2009-09-17
* Grid changed to use Dlist.replace; filters stopped workingGravatar Adam Chlipala2009-09-17
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17
* Bad sort functions testedGravatar Adam Chlipala2009-09-17
* Insert dummy Sort parameterGravatar Adam Chlipala2009-09-17
* Make filter argument to render, not createGravatar Adam Chlipala2009-09-17
* Filters implementation type-checkingGravatar Adam Chlipala2009-09-15
* Summary row with aggregatesGravatar Adam Chlipala2009-09-15
* Start 'more' demo with dbgridGravatar Adam Chlipala2009-09-08