isl 0.12

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

diff --git a/ChangeLog b/ChangeLog
index afe4b05..567d54b 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+version: 0.12
+date: Sun Jun 23 20:23:05 CEST 2013
+changes:
+       - add isl_val abstraction
+---
 version: 0.11.2
 date: Tue Apr  9 18:45:10 CEST 2013
 changes:

diff --git a/configure.ac b/configure.ac
index edd3693..e49d712 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1,10 +1,10 @@
-AC_INIT([isl], [0.11.2], [isl-development@googlegroups.com])
+AC_INIT([isl], [0.12], [isl-development@googlegroups.com])
 AC_CONFIG_AUX_DIR([.])
 AC_CONFIG_MACRO_DIR([m4])
 AM_INIT_AUTOMAKE([foreign])
 m4_ifdef([AM_SILENT_RULES],[AM_SILENT_RULES([yes])])
 AC_SUBST(versioninfo)
-versioninfo=11:2:1
+versioninfo=12:0:2
 
 if test "x$prefix" != "xNONE"; then
        prefix_wd=`cd $prefix && pwd`