summaryrefslogtreecommitdiff
path: root/demo/more/dbgrid.ur
Commit message (Expand)AuthorAge
* Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
* Track whether SQL expressions may use window functions, in preparation for ac...Gravatar Adam Chlipala2012-06-02
* Rename [Top.id] to avoid clash with [Basis.id]Gravatar Adam Chlipala2011-12-29
* Update demo/more for simplified implicit argumentsGravatar Adam Chlipala2011-07-06
* Tweaking unification fix to apply to demo/moreGravatar Adam Chlipala2010-10-10
* Make summary unification more conservative; infer implicit arguments after ap...Gravatar Adam Chlipala2009-12-26
* 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 pag...Gravatar Adam Chlipala2009-09-12
* Start 'more' demo with dbgridGravatar Adam Chlipala2009-09-08