Mercurial > urweb
log demo/more/dbgrid.ur
age | author | description |
---|---|---|
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 |