diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-12 10:36:17 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-12 10:36:17 -0400 |
| commit | ed87f01d25f0b60baa02f9613f6b479cf948e36b (patch) | |
| tree | 173a7cef25206ce93d48447c6c2724484745aaea | |
| parent | 38ac491aa308318532132d58589fc02b28886b32 (diff) | |
New release
| -rw-r--r-- | CHANGELOG | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,4 +1,12 @@ ======== +20090912 +======== + +- Bug fixes +- Optimization improvements +- New set of extra demos in demo/more + +======== 20090825 ======== |