# HG changeset patch # User Adam Chlipala # Date 1252766177 14400 # Node ID 095df8f710e040aeae405b969d91900be2a6d005 # Parent fe939cedf42d52726b15ccf80a3d0f03337ce904 New release diff -r fe939cedf42d -r 095df8f710e0 CHANGELOG --- a/CHANGELOG Sat Sep 12 10:31:49 2009 -0400 +++ b/CHANGELOG Sat Sep 12 10:36:17 2009 -0400 @@ -1,3 +1,11 @@ +======== +20090912 +======== + +- Bug fixes +- Optimization improvements +- New set of extra demos in demo/more + ======== 20090825 ========