From 243e13b13560cd55788e755de5fd5a6596abd0d4 Mon Sep 17 00:00:00 2001
From: skimo <skimo>
Date: Wed, 17 Nov 2004 18:27:04 +0000
Subject: [PATCH] bump version

---
 ChangeLog    | 9 +++++++++
 configure.in | 4 ++--
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 905cbc8..9d58020 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+version: 0.14
+date: Wed Nov 17 19:22:23 CET 2004
+changes:
+    - use code for computing series to count non-parametric polytopes
+    - add conversion from series to explicit function
+    - fix removal of redundant equalities
+---
 version: 0.13
 date: Sat Oct 16 12:13:30 CEST 2004
 changes:
@@ -6,6 +13,7 @@ changes:
     - fix bug in reduction
     - handle empty PIP solution
     - add utility to remove equalities
+---
 version: 0.12
 date: Sun Oct  3 20:47:11 CEST 2004
 changes:
@@ -14,6 +22,7 @@ changes:
     - add patch for NTL 5.3.2
     - experimental support for Ehrhart series
     - compile fix on systems that lack <getopt.h>
+---
 version: 0.11
 date: Sat Sep 18 14:49:40 CEST 2004
 changes:
diff --git a/configure.in b/configure.in
index ca39296..7a5038a 100644
--- a/configure.in
+++ b/configure.in
@@ -1,9 +1,9 @@
 AC_INIT
-AM_INIT_AUTOMAKE(barvinok, 0.13)
+AM_INIT_AUTOMAKE(barvinok, 0.14)
 AC_PROG_LIBTOOL
 AC_PROG_CXX
 AC_SUBST(versioninfo)
-versioninfo=6:1:2
+versioninfo=7:0:3
 
 AC_CHECK_HEADERS(getopt.h)
 
-- 
2.11.4.GIT