diff CHANGELOG @ 2051:fbfce6f37384

New release
author Adam Chlipala <adam@chlipala.net>
date Thu, 07 Aug 2014 09:17:52 -0400
parents 16e4e50470b2
children 44428bbda65c
line wrap: on
line diff
--- a/CHANGELOG	Wed Aug 06 09:50:02 2014 -0400
+++ b/CHANGELOG	Thu Aug 07 09:17:52 2014 -0400
@@ -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
 ========