From 3044fbedd58961f8c1168eb3bc2eeeb8a2b0b60e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 13 Feb 2016 09:51:30 -0500 Subject: New release --- CHANGELOG | 9 +++++++++ configure.ac | 4 ++-- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/CHANGELOG b/CHANGELOG index 097ece99..701e9c03 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,3 +1,12 @@ +======== +20160213 +======== + +- .urp 'library' directive: only process a given library the first time it is referenced +- For maintenance of Ur/Web project source code, switched from Mercurial to Git +- Added Travis integration +- Bug fixes and improvements to type inference and compatibility + ======== 20151220 ======== diff --git a/configure.ac b/configure.ac index fc7ba433..351d1129 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ -AC_INIT([urweb], [20151220]) -WORKING_VERSION=1 +AC_INIT([urweb], [20160213]) +WORKING_VERSION=0 AC_USE_SYSTEM_EXTENSIONS # automake 1.12 requires this, but automake 1.11 doesn't recognize it -- cgit v1.2.3