summaryrefslogtreecommitdiff
path: root/demo/more/dbgrid.ur
Commit message (Collapse)AuthorAge
* Make summary unification more conservative; infer implicit arguments after ↵Gravatar Adam Chlipala2009-12-26
| | | | applications
* Paging mostly working; just need to get it working properly with filteringGravatar Adam Chlipala2009-09-19
|
* Grid sorting workingGravatar Adam Chlipala2009-09-19
|
* Filters displaying properlyGravatar Adam Chlipala2009-09-15
|
* Filters implementation type-checkingGravatar 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
|
* Nullable columns *might* be working, but too much JS is generated for the ↵Gravatar Adam Chlipala2009-09-12
| | | | page to load in finite time
* Start 'more' demo with dbgridGravatar Adam Chlipala2009-09-08