diff CHANGELOG @ 1826:6a621a625b04

New release
author Adam Chlipala <adam@chlipala.net>
date Tue, 25 Sep 2012 08:16:58 -0400
parents 40557fb08e98
children 1239ba1a1671
line wrap: on
line diff
--- a/CHANGELOG	Sun Sep 23 20:47:20 2012 -0500
+++ b/CHANGELOG	Tue Sep 25 08:16:58 2012 -0400
@@ -1,3 +1,14 @@
+========
+20120925
+========
+
+- Changes to optimization/compilation strategy that can speed up compilation and
+  reduce code size dramatically
+- New .urp directives: 'coreInline' and 'monoInline'
+- 'show' instance for 'sql_query'
+- Improvements to compiler error messages
+- Bug fixes and optimization improvements
+
 ========
 20120807
 ========