# HG changeset patch # User Adam Chlipala # Date 1228851892 18000 # Node ID 79aea80904e836a8a5003f0be28212a387ff04ec # Parent d4243160885601f79715497a6f6d1235816c57ed Prepare to release diff -r d42431608856 -r 79aea80904e8 CHANGELOG --- a/CHANGELOG Tue Dec 09 14:43:43 2008 -0500 +++ b/CHANGELOG Tue Dec 09 14:44:52 2008 -0500 @@ -1,9 +1,11 @@ ======== +20081209 ======== - Optimization: Fusing page writes with calls to recursive functions - Optimization of bottleneck compiler phases -- Start of manual +- Reference manual +- SQL arithmetic operators ======== 20081120