isl 0.05.1

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/ChangeLog b/ChangeLog
index 58f5686..41547f2 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+version: 0.05.1
+date: Wed Jan  5 10:21:42 CET 2011
+changes:
+       - fix simple symmetry detection in parametric integer programming
+---
 version: 0.05
 date: Thu Dec 23 17:03:14 CET 2010
 changes:

diff --git a/configure.ac b/configure.ac
index 615c1b2..a87c814 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1,9 +1,9 @@
 AC_INIT
 AC_CONFIG_AUX_DIR([.])
 AC_CONFIG_MACRO_DIR([m4])
-AM_INIT_AUTOMAKE(isl, 0.05)
+AM_INIT_AUTOMAKE(isl, 0.05.1)
 AC_SUBST(versioninfo)
-versioninfo=5:0:0
+versioninfo=5:1:0
 
 AC_PROG_CC