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 | e17e39f02be8294f2fbb8f404b7af41138ab008d (patch) | |
| tree | b06ce3d5b29e889403e59b24cf62323d674da6fc /CHANGELOG | |
| parent | ba4af1234ee438d5c5cb87ba624b03b69135ab93 (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 ======== |