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 | b84853e236ea60730f9de8a83bad0e500c94d3d3 (patch) | |
| tree | 533b3a3ad33b98a3a453ce59ab301e344cc18c86 /CHANGELOG | |
| parent | 1ea383a0e73f63d142d3539d984c9e2f4b7f0076 (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 ======== |