Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Make summary unification more conservative; infer implicit arguments after ap... | Adam Chlipala | 2009-12-26 |
* | Paging mostly working; just need to get it working properly with filtering | Adam Chlipala | 2009-09-19 |
* | Fixed a Mono_reduce bug, which was breaking selection enabling in Grid | Adam Chlipala | 2009-09-15 |
* | Selection working, but switching it on isn't | Adam Chlipala | 2009-09-15 |
* | Summary row with aggregates | Adam Chlipala | 2009-09-15 |
* | Dropped in initial aggregate types | Adam Chlipala | 2009-09-15 |
* | Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce | Adam Chlipala | 2009-09-13 |
* | Have nullable columns working with Dbgrid | Adam Chlipala | 2009-09-13 |
* | Nullable columns *might* be working, but too much JS is generated for the pag... | Adam Chlipala | 2009-09-12 |
* | Add grid CSS | Adam Chlipala | 2009-09-10 |
* | Start 'more' demo with dbgrid | Adam Chlipala | 2009-09-08 |