diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-02-14 08:17:36 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-02-14 08:17:36 -0500 |
commit | 9c30fdcf06b62c20dc38b4581a37d60b41577fc4 (patch) | |
tree | 533b3a3ad33b98a3a453ce59ab301e344cc18c86 /CHANGELOG | |
parent | fa1ac29899b0a7d37bc8e0d42fc90f98543471fc (diff) |
New release
Diffstat (limited to 'CHANGELOG')
-rw-r--r-- | CHANGELOG | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,4 +1,10 @@ ======== +20150214 +======== + +- Bug fixes and improvements to type inference and optimization + +======== 20150103 ======== |