| Thu, 09 Apr 2009 12:31:56 -0400 |
Adam Chlipala |
Made type class system very general; demo compiles |
| Tue, 07 Apr 2009 20:38:01 -0400 |
Adam Chlipala |
Get demo type-inferring again |
| Tue, 07 Apr 2009 18:47:47 -0400 |
Adam Chlipala |
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference) |
| Tue, 07 Apr 2009 16:22:11 -0400 |
Adam Chlipala |
Add primary keys to demo |
| Tue, 07 Apr 2009 16:14:31 -0400 |
Adam Chlipala |
PRIMARY KEY |
| Tue, 07 Apr 2009 15:04:07 -0400 |
Adam Chlipala |
Enhance table sig item support and get demo compiling again |
| Tue, 07 Apr 2009 14:11:32 -0400 |
Adam Chlipala |
Track uniqueness sets in table types |
| Tue, 07 Apr 2009 12:24:31 -0400 |
Adam Chlipala |
UNIQUE constraints |
| Sun, 05 Apr 2009 16:17:32 -0400 |
Adam Chlipala |
Fixing some regressions and other bugs |
| Sun, 05 Apr 2009 12:41:41 -0400 |
Adam Chlipala |
CHANGELOG before release |
| Sun, 05 Apr 2009 12:37:38 -0400 |
Adam Chlipala |
Update the manual |
| Sun, 05 Apr 2009 12:05:19 -0400 |
Adam Chlipala |
Initialize contexts a little more vigorously |
