diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-02-14 08:17:36 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-02-14 08:17:36 -0500 |
| commit | 9c30fdcf06b62c20dc38b4581a37d60b41577fc4 (patch) | |
| tree | 533b3a3ad33b98a3a453ce59ab301e344cc18c86 | |
| parent | fa1ac29899b0a7d37bc8e0d42fc90f98543471fc (diff) | |
New release
| -rw-r--r-- | CHANGELOG | 6 | ||||
| -rw-r--r-- | configure.ac | 4 |
2 files changed, 8 insertions, 2 deletions
@@ -1,4 +1,10 @@ ======== +20150214 +======== + +- Bug fixes and improvements to type inference and optimization + +======== 20150103 ======== diff --git a/configure.ac b/configure.ac index 28d1bd8e..1991c463 100644 --- a/configure.ac +++ b/configure.ac @@ -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 |