aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/more/grid1.ur
Commit message (Expand)AuthorAge
* Make wildification a bit smarter about ordering of new wildcard declarationsGravatar Adam Chlipala2012-01-07
* Finish updating Grid1 demo to work with type inference changeGravatar Adam Chlipala2011-12-29
* Make summary unification more conservative; infer implicit arguments after ap...Gravatar Adam Chlipala2009-12-26
* Paging mostly working; just need to get it working properly with filteringGravatar Adam Chlipala2009-09-19
* Fixed a Mono_reduce bug, which was breaking selection enabling in GridGravatar Adam Chlipala2009-09-15
* Selection working, but switching it on isn'tGravatar Adam Chlipala2009-09-15
* Summary row with aggregatesGravatar Adam Chlipala2009-09-15
* Dropped in initial aggregate typesGravatar Adam Chlipala2009-09-15
* Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduceGravatar Adam Chlipala2009-09-13
* Have nullable columns working with DbgridGravatar Adam Chlipala2009-09-13
* Nullable columns *might* be working, but too much JS is generated for the pag...Gravatar Adam Chlipala2009-09-12
* Add grid CSSGravatar Adam Chlipala2009-09-10
* Start 'more' demo with dbgridGravatar Adam Chlipala2009-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 08:24:50 +0000