From ff3796cc26bf3cf7f77fc06ac9b8c6a0d6178d95 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 19 May 2012 11:46:29 -0400 Subject: New release --- CHANGELOG | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index accdd95b..99d23816 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,13 @@ +======== +20120519 +======== + +- Compatibility fixes for new Automake and GCC versions +- Allow synchronous RPC's in 'onunload' code +- Start of special cases for parsing CSS class names: interpret "table" as identifier 'tabl' + (since 'table' is an Ur/Web keyword) +- Bug fixes and improvements to type inference and optimization + ======== 20120512 ======== -- cgit v1.2.3