log demo/more/dbgrid.ur

age author description
2012-06-03 Adam Chlipala Lighter-weight encoding of window function use
2012-06-02 Adam Chlipala Track whether SQL expressions may use window functions, in preparation for actual window function support
2011-12-29 Adam Chlipala Rename [Top.id] to avoid clash with [Basis.id]
2011-07-06 Adam Chlipala Update demo/more for simplified implicit arguments
2010-10-10 Adam Chlipala Tweaking unification fix to apply to demo/more
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-09-19 Adam Chlipala Paging mostly working; just need to get it working properly with filtering
2009-09-19 Adam Chlipala Grid sorting working
2009-09-15 Adam Chlipala Filters displaying properly
2009-09-15 Adam Chlipala Filters implementation type-checking
2009-09-15 Adam Chlipala Summary row with aggregates
2009-09-15 Adam Chlipala Include 'key' type in Grid
2009-09-15 Adam Chlipala Dropped in initial aggregate types
2009-09-12 Adam Chlipala Nullable columns *might* be working, but too much JS is generated for the page to load in finite time
2009-09-08 Adam Chlipala Start 'more' demo with dbgrid