aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2017-07-20 10:20:41 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2017-07-20 10:20:41 -0400
commit04793b5abfb641763864d637a9da95341b874b01 (patch)
treec1b17702d18b914d7a7da099bcfe29ff3e19693f
parent28ae7f9f4d524160df6109588855d02eb49e51cf (diff)
New release
-rw-r--r--CHANGELOG12
-rw-r--r--configure.ac4
2 files changed, 14 insertions, 2 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 89fee4f2..94d3b0a4 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -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
========
diff --git a/configure.ac b/configure.ac
index 5d0cd40f..5786c582 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,5 +1,5 @@
-AC_INIT([urweb], [20170105])
-WORKING_VERSION=1
+AC_INIT([urweb], [20170720])
+WORKING_VERSION=0
AC_USE_SYSTEM_EXTENSIONS
# automake 1.12 requires this, but automake 1.11 doesn't recognize it