log

age author description
Thu, 17 Sep 2009 09:25:03 -0400 Adam Chlipala Print char patterns in C
Tue, 15 Sep 2009 16:27:24 -0400 Adam Chlipala Filters displaying properly
Tue, 15 Sep 2009 16:06:12 -0400 Adam Chlipala Filters displaying awfully
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:41:54 -0400 Adam Chlipala Escape character constants; lift indices properly in Reduce 'case' simplification
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:50:49 -0400 Adam Chlipala Fix Postgres timestamp round-tripping
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