summaryrefslogtreecommitdiff
path: root/demo/more/grid.ur
Commit message (Expand)AuthorAge
* Pseudo-sort working with filtersGravatar 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
* Fix JavaScript char literals; don't generate demo links to nonexistent filesGravatar Adam Chlipala2009-09-15
* Fixed a Mono_reduce bug, which was breaking selection enabling in GridGravatar Adam Chlipala2009-09-15
* Selection working, but switching it on isn'tGravatar Adam Chlipala2009-09-15
* Summary row with aggregatesGravatar Adam Chlipala2009-09-15
* Include 'key' type in GridGravatar Adam Chlipala2009-09-15
* Dropped in initial aggregate typesGravatar Adam Chlipala2009-09-15
* Start 'more' demo with dbgridGravatar Adam Chlipala2009-09-08