summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ChangeLog5
-rw-r--r--configure.ac4
2 files changed, 7 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index afe4b057..567d54b1 100644
--- 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 edd36931..e49d712e 100644
--- 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`