diff --git a/ChangeLog b/ChangeLog index 095694583..f7b2c0d3c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2004-06-29 Alexandre Duret-Lutz + * configure.ac, NEWS: Bump version to 0.0w. + * configure.ac, NEWS: Bump version to 0.0v. 2004-06-28 Thomas Martinez diff --git a/NEWS b/NEWS index d0bfb7d98..814a0e35b 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,5 @@ +New in spot 0.0w: + New in spot 0.0v (2004-06-29): * LTL formula simplifications using basic rewriting rules, diff --git a/configure.ac b/configure.ac index 29b2cd69e..528a9ac2b 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.59]) -AC_INIT([spot], [0.0v]) +AC_INIT([spot], [0.0w]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([gnits nostdinc 1.8])