diff CHANGELOG @ 2117:f1c4edf0a655

New release
author Adam Chlipala <adam@chlipala.net>
date Sat, 14 Feb 2015 08:17:36 -0500
parents e1724f279db7
children 88a8a656003f
line wrap: on
line diff
--- a/CHANGELOG	Thu Feb 12 15:09:26 2015 -0500
+++ b/CHANGELOG	Sat Feb 14 08:17:36 2015 -0500
@@ -1,3 +1,9 @@
+========
+20150214
+========
+
+- Bug fixes and improvements to type inference and optimization
+
 ========
 20150103
 ========