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 |