# HG changeset patch # User Adam Chlipala # Date 1241549231 14400 # Node ID 39bb3a830e90e62dd2e2ec3e77a821c7c94d6098 # Parent d18f6f0bcf60d1bd7e51161b977bc9c639fe9fda Tag CHANGELOG with release date diff -r d18f6f0bcf60 -r 39bb3a830e90 CHANGELOG --- a/CHANGELOG Tue May 05 14:45:21 2009 -0400 +++ b/CHANGELOG Tue May 05 14:47:11 2009 -0400 @@ -1,5 +1,5 @@ ======== -Next +20090505 ======== - Reimplement constructor class resolution to be more general and Prolog-like