# HG changeset patch # User Adam Chlipala # Date 1239307116 14400 # Node ID a6941960f459fc4fc79027599f3efb4143a16931 # Parent 1db127b245edadb553fbc77b63bde5d69f11936a Update CHANGELOG diff -r 1db127b245ed -r a6941960f459 CHANGELOG --- a/CHANGELOG Thu Apr 09 15:51:50 2009 -0400 +++ b/CHANGELOG Thu Apr 09 15:58:36 2009 -0400 @@ -1,3 +1,10 @@ +======== +Next +======== + +- Reimplement constructor class resolution to be more general and Prolog-like +- SQL table constraints + ======== 20090405 ========