From 3665c2cab2d9c34974346c1de54f874d89e06731 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 25 Sep 2012 08:16:58 -0400 Subject: New release --- CHANGELOG | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index 9e2b7c7c..8063a528 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -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 ======== -- cgit v1.2.3