From 2743dfd44f0337d5fe80f679fee93fc31ec2b3c7 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 10 Mar 2010 18:15:00 +0100
Subject: [PATCH] barvinok 0.30

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

diff --git a/ChangeLog b/ChangeLog
index 5f5a9d8..d39ac03 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,14 @@
+version: 0.30
+date: Wed Mar 10 18:10:33 CET 2010
+changes:
+    - add isl interface and new isl based calculator
+    - barvinok_enumerate now returns NaN on infinite problems
+    - minor compilation and bug fixes
+    - support newer versions of TOPCOM
+---
 version: 0.29
 date: Wed Jul 22 15:14:01 CEST 2009
+changes:
     - new version of Laurent expansion based exact summation
     - minor compilation and bug fixes
     - add semigroup_holes application
diff --git a/configure.in b/configure.in
index a64d9c8..d3ddc0a 100644
--- a/configure.in
+++ b/configure.in
@@ -1,6 +1,6 @@
 AC_INIT
 AC_CONFIG_MACRO_DIR([m4])
-AM_INIT_AUTOMAKE(barvinok, 0.29)
+AM_INIT_AUTOMAKE(barvinok, 0.30)
 AC_PROG_CC
 gl_EARLY
 
@@ -8,7 +8,7 @@ AC_PROG_CXX
 AM_PROG_LEX
 AC_PROG_YACC
 AC_SUBST(versioninfo)
-versioninfo=18:0:1
+versioninfo=19:0:2
 
 AC_CANONICAL_HOST
 AC_LIBTOOL_WIN32_DLL
-- 
2.11.4.GIT