diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-20 10:20:41 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-07-20 10:20:41 -0400 |
commit | 04793b5abfb641763864d637a9da95341b874b01 (patch) | |
tree | c1b17702d18b914d7a7da099bcfe29ff3e19693f /CHANGELOG | |
parent | 28ae7f9f4d524160df6109588855d02eb49e51cf (diff) |
New release
Diffstat (limited to 'CHANGELOG')
-rw-r--r-- | CHANGELOG | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -1,4 +1,16 @@ ======== +20170720 +======== + +- New .urp directive: 'jsModule' +- New compiler command-line option: '-js' +- New HTML attribute for <button>: 'disabled' +- Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations +- New standard-library functions: 'List.appi' and 'Option.app' +- Support for Emacs bg-build mode +- Bug fixes and improvements to error messages + +======== 20170105 ======== |