diff --git a/ChangeLog b/ChangeLog index e5db55d8c..d8a234e66 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-03-09 Alexandre Duret-Lutz + + * configure.ac, NEWS: Bump version to 0.0s. + 2004-03-08 Alexandre Duret-Lutz * configure.ac, NEWS: Bump version to 0.0r. diff --git a/NEWS b/NEWS index 79cd9ccfd..a584e8d4c 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,5 @@ +New in spot 0.0s: + New in spot 0.0r (2004-03-08): * In ltl_to_tgba_fm: diff --git a/configure.ac b/configure.ac index fa433baa0..85cfdeca7 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.57]) -AC_INIT([spot], [0.0r]) +AC_INIT([spot], [0.0s]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([gnits nostdinc 1.8])