log demo/more/grid1.ur

age author description
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-15 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
2009-09-15 Adam Chlipala Selection working, but switching it on isn't
2009-09-15 Adam Chlipala Summary row with aggregates
2009-09-15 Adam Chlipala Dropped in initial aggregate types
2009-09-13 Adam Chlipala Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce
2009-09-13 Adam Chlipala Have nullable columns working with Dbgrid
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-10 Adam Chlipala Add grid CSS
2009-09-08 Adam Chlipala Start 'more' demo with dbgrid