# HG changeset patch # User Adam Chlipala # Date 1227811395 18000 # Node ID 612001c39ed6513f4a3adae6695a640d12ac7cb9 # Parent 3162bbf8e30fa9a3186ff0b22404493b11fe29f1 Note optimizations in changelog diff -r 3162bbf8e30f -r 612001c39ed6 CHANGELOG --- a/CHANGELOG Thu Nov 27 12:43:28 2008 -0500 +++ b/CHANGELOG Thu Nov 27 13:43:15 2008 -0500 @@ -2,6 +2,7 @@ ======== - Optimization: Fusing page writes with calls to recursive functions +- Optimization of bottleneck compiler phases ======== 20081120