log

age author description
Tue, 15 Sep 2009 10:43:01 -0400 Adam Chlipala Fix MySQL timestamp input
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
Mon, 14 Sep 2009 19:04:38 -0400 Adam Chlipala Fix a bug in Jscomp environment calculation for EQuery; smarter embedding of record projection in JavaScript
Sun, 13 Sep 2009 15:33:11 -0400 Adam Chlipala Fix some MySQL bugs
Sun, 13 Sep 2009 13:25:09 -0400 Adam Chlipala Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduce