log demo/more/dbgrid.ur

age author description
Sun, 03 Jun 2012 11:29:31 -0400 Adam Chlipala Lighter-weight encoding of window function use
Sat, 02 Jun 2012 15:35:58 -0400 Adam Chlipala Track whether SQL expressions may use window functions, in preparation for actual window function support
Thu, 29 Dec 2011 14:12:03 -0500 Adam Chlipala Rename [Top.id] to avoid clash with [Basis.id]
Wed, 06 Jul 2011 09:22:08 -0400 Adam Chlipala Update demo/more for simplified implicit arguments
Sun, 10 Oct 2010 15:37:14 -0400 Adam Chlipala Tweaking unification fix to apply to demo/more
Sat, 26 Dec 2009 11:56:40 -0500 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
Sat, 19 Sep 2009 14:21:25 -0400 Adam Chlipala Paging mostly working; just need to get it working properly with filtering
Sat, 19 Sep 2009 13:32:33 -0400 Adam Chlipala Grid sorting working
Tue, 15 Sep 2009 16:27:24 -0400 Adam Chlipala Filters displaying properly
Tue, 15 Sep 2009 15:48:53 -0400 Adam Chlipala Filters implementation type-checking
Tue, 15 Sep 2009 10:18:56 -0400 Adam Chlipala Summary row with aggregates
Tue, 15 Sep 2009 09:45:46 -0400 Adam Chlipala Include 'key' type in Grid
Tue, 15 Sep 2009 09:40:51 -0400 Adam Chlipala Dropped in initial aggregate types
Sat, 12 Sep 2009 15:08:16 -0400 Adam Chlipala Nullable columns *might* be working, but too much JS is generated for the page to load in finite time
Tue, 08 Sep 2009 07:48:57 -0400 Adam Chlipala Start 'more' demo with dbgrid