# HG changeset patch # User Adam Chlipala # Date 1423919856 18000 # Node ID f1c4edf0a655d38a2a415ddc7ccc41d956fa4ab8 # Parent ebfaab689570d827e8c36220053326c1a4f64eb7 New release diff -r ebfaab689570 -r f1c4edf0a655 CHANGELOG --- a/CHANGELOG Thu Feb 12 15:09:26 2015 -0500 +++ b/CHANGELOG Sat Feb 14 08:17:36 2015 -0500 @@ -1,3 +1,9 @@ +======== +20150214 +======== + +- Bug fixes and improvements to type inference and optimization + ======== 20150103 ======== diff -r ebfaab689570 -r f1c4edf0a655 configure.ac --- a/configure.ac Thu Feb 12 15:09:26 2015 -0500 +++ b/configure.ac Sat Feb 14 08:17:36 2015 -0500 @@ -1,5 +1,5 @@ -AC_INIT([urweb], [20150103]) -WORKING_VERSION=1 +AC_INIT([urweb], [20150214]) +WORKING_VERSION=0 AC_USE_SYSTEM_EXTENSIONS # automake 1.12 requires this, but automake 1.11 doesn't recognize it