log src/reduce.sml

age author description
Tue, 15 Sep 2009 12:41:54 -0400 Adam Chlipala Escape character constants; lift indices properly in Reduce 'case' simplification
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