From f795640bfdd30923774f6a218e879944944dbc28 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 2 Nov 2010 09:13:00 -0400 Subject: New release --- CHANGELOG | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index eead0a5e..1283262e 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,5 +1,5 @@ ======== -Next +20101102 ======== - Polymorphic variants (see Basis.variant) -- cgit v1.2.3