comparison CHANGELOG @ 929:095df8f710e0

New release
author Adam Chlipala <adamc@hcoop.net>
date Sat, 12 Sep 2009 10:36:17 -0400
parents 782f0b4eea67
children b8048f6e25ef
comparison
equal deleted inserted replaced
928:fe939cedf42d 929:095df8f710e0
1 ========
2 20090912
3 ========
4
5 - Bug fixes
6 - Optimization improvements
7 - New set of extra demos in demo/more
8
1 ======== 9 ========
2 20090825 10 20090825
3 ======== 11 ========
4 12
5 - Many bug fixes 13 - Many bug fixes