From 826967960e5a71bd65c384b50b07ad0b9f76e4fb Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 5 May 2009 14:47:11 -0400 Subject: Tag CHANGELOG with release date --- CHANGELOG | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 8df1b3b8..bf072690 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,5 +1,5 @@ ======== -Next +20090505 ======== - Reimplement constructor class resolution to be more general and Prolog-like -- cgit v1.2.3