| 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 |
