From e17e39f02be8294f2fbb8f404b7af41138ab008d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 7 Aug 2014 09:17:52 -0400 Subject: New release --- CHANGELOG | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index e8bf5071..b80c8d9f 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,13 @@ +======== +20140807 +======== + +- New .urp directive: 'file' +- Support for 'aria-*' attributes in HTML +- Default value of 'jsFunc' for less-safe FFI +- Client-side implementation of Basis function 'strsindex' +- Bug fixes and improvements to type inference and documentation + ======== 20140704 ======== -- cgit v1.2.3