| Sat, 07 Jan 2012 11:01:21 -0500 |
Adam Chlipala |
Make wildification a bit smarter about ordering of new wildcard declarations |
| Thu, 29 Dec 2011 09:47:41 -0500 |
Adam Chlipala |
Finish updating Grid1 demo to work with type inference change |
| 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 |
| Tue, 15 Sep 2009 12:23:42 -0400 |
Adam Chlipala |
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid |
| Tue, 15 Sep 2009 11:18:20 -0400 |
Adam Chlipala |
Selection working, but switching it on isn't |
| Tue, 15 Sep 2009 10:18:56 -0400 |
Adam Chlipala |
Summary row with aggregates |
| Tue, 15 Sep 2009 09:40:51 -0400 |
Adam Chlipala |
Dropped in initial aggregate types |
