diff --git a/ChangeLog b/ChangeLog index 1edb98779..8835c4acf 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2011-02-01 Alexandre Duret-Lutz + + * NEWS, configure.ac: Bump version to 0.7a. + 2011-02-01 Alexandre Duret-Lutz Release Spot 0.7. diff --git a/NEWS b/NEWS index dbfac2bad..6f27898f4 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,7 @@ +New in spot 0.7a: + + Nothing yet. + New in spot 0.7 (2011-02-01): * Spot is now able to read an automaton expressed as a Spin neverclaim. diff --git a/configure.ac b/configure.ac index 82ad9e422..399f41a6f 100644 --- a/configure.ac +++ b/configure.ac @@ -22,7 +22,7 @@ # 02111-1307, USA. AC_PREREQ([2.61]) -AC_INIT([spot], [0.7], [spot@lrde.epita.fr]) +AC_INIT([spot], [0.7a], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnits nostdinc tar-ustar color-tests parallel-tests])