log

age author description
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
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
Sun, 13 Sep 2009 12:00:34 -0400 Adam Chlipala Have nullable columns working with Dbgrid
Sat, 12 Sep 2009 15:08:16 -0400 Adam Chlipala Nullable columns *might* be working, but too much JS is generated for the page to load in finite time
Sat, 12 Sep 2009 10:36:17 -0400 Adam Chlipala New release
Sat, 12 Sep 2009 10:31:49 -0400 Adam Chlipala Merge
Sat, 12 Sep 2009 10:31:34 -0400 Adam Chlipala Debugging new string urlification
Sat, 12 Sep 2009 10:03:12 -0400 Adam Chlipala Prevent event bubbling
Sat, 12 Sep 2009 09:31:50 -0400 Adam Chlipala Change string URLification to avoid using the empty string, which confuses Apache no2slash()
Thu, 10 Sep 2009 14:55:27 -0400 Adam Chlipala Add grid CSS ACL
Thu, 10 Sep 2009 14:54:47 -0400 Adam Chlipala Add grid CSS