diff CHANGELOG @ 790:39bb3a830e90

Tag CHANGELOG with release date
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 May 2009 14:47:11 -0400
parents c125df6fabfc
children 4d4c62d95b9c
line wrap: on
line diff
--- 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