Pluto release 0.13.0

Author: bondhugula

ChangeLog

@@ -1,3 +1,9 @@
+version 0.13.0
+
+See git commit history https://github.com/bondhugula/pluto for details.
+0.12.0 missed including `configure`/generated autoconf/automake files. Fixed
+here.
+
 version 0.12.0
 
 - all submodules (pet, piplib, isl, cloog-isl, clan, candl, openscop) updated

configure.ac

@@ -16,7 +16,7 @@ dnl
 
 AC_PREREQ([2.69])
 
-AC_INIT([pluto],[0.12.0],[udayb@iisc.ac.in])
+AC_INIT([pluto],[0.13.0],[udayb@iisc.ac.in])
 AC_CONFIG_AUX_DIR([.])
 AC_CONFIG_MACRO_DIR([m4])