From c0b98201e7415eeada11e08c69264cf165bba50f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 30 Dec 2009 09:52:18 -0500 Subject: New release --- CHANGELOG | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 3f1f5c3f..a893024c 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,5 +1,5 @@ ======== -Next +20091230 ======== - Automatic insertion of implicit arguments in more positions @@ -10,6 +10,7 @@ Next - Tasks - Dynamic linking of the runtime system - Optimization improvements +- Bug fixes ======== 20091203 -- cgit v1.2.3