diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-08-07 09:17:52 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-08-07 09:17:52 -0400 |
commit | 6f50b32089ddc08baa97d3c46648de470c559d8e (patch) | |
tree | b06ce3d5b29e889403e59b24cf62323d674da6fc /CHANGELOG | |
parent | 48a13664ba3fe87143d6ec040a95c88e0891c57a (diff) |
New release
Diffstat (limited to 'CHANGELOG')
-rw-r--r-- | CHANGELOG | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -1,4 +1,14 @@ ======== +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 ======== |