# HG changeset patch # User Adam Chlipala # Date 1262184738 18000 # Node ID 2f42c61b8d0acc1aa945fc7512cbf8aa21adb11d # Parent 8d0f195710f16725f7ecef2a4f19ac8500069788 New release diff -r 8d0f195710f1 -r 2f42c61b8d0a CHANGELOG --- a/CHANGELOG Wed Dec 30 09:48:32 2009 -0500 +++ b/CHANGELOG Wed Dec 30 09:52:18 2009 -0500 @@ -1,5 +1,5 @@ ======== -Next +20091230 ======== - Automatic insertion of implicit arguments in more positions @@ -10,6 +10,7 @@ - Tasks - Dynamic linking of the runtime system - Optimization improvements +- Bug fixes ======== 20091203