| Thu, 17 Sep 2009 16:35:11 -0400 |
Adam Chlipala |
Basic tail recursion introduction seems to be working |
| Thu, 17 Sep 2009 14:57:38 -0400 |
Adam Chlipala |
Bad sort functions tested |
| Thu, 17 Sep 2009 14:42:02 -0400 |
Adam Chlipala |
Insert dummy Sort parameter |
| Thu, 17 Sep 2009 14:27:00 -0400 |
Adam Chlipala |
Make filter argument to render, not create |
| Tue, 15 Sep 2009 15:48:53 -0400 |
Adam Chlipala |
Filters implementation type-checking |
| Tue, 15 Sep 2009 13:07:57 -0400 |
Adam Chlipala |
Fix JavaScript char literals; don't generate demo links to nonexistent files |
| 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:45:46 -0400 |
Adam Chlipala |
Include 'key' type in Grid |
| Tue, 15 Sep 2009 09:40:51 -0400 |
Adam Chlipala |
Dropped in initial aggregate types |
| Tue, 08 Sep 2009 07:48:57 -0400 |
Adam Chlipala |
Start 'more' demo with dbgrid |
