diff --git a/ChangeLog b/ChangeLog
index 5f0b31c6c..b2a8d5ad6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2004-04-23  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* configure.ac, NEWS: Bump version to 0.0t.
+	* HACKING: Update tools requirements.
+	* src/sanity/Makefile.am (EXTRA_DIST): Distribute includes.test.
+
 	* src/sanity/Makefile.am, src/sanity/includes.test: New files.
 	* src/Makefile.am (SUBDIRS): Add sanity.
 	* configure.ac: Output src/sanity/Makefile.in.
@@ -11,7 +15,7 @@
 
 2004-04-22  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
-	* src/tgbatest/explicit.test: Reorder bdd variable in output.
+	* src/tgbatest/explicit.test: Reorder bdd variables in output.
 	Report from Denis Poitrenaud.
 
 	* wrap/python/cgi/ltl2tgba.in: Print degeneralized statistics
diff --git a/HACKING b/HACKING
index 51be1a1d6..b0fb17192 100644
--- a/HACKING
+++ b/HACKING
@@ -9,8 +9,9 @@ conflicts.
 Here are the tools you need to bootstrap the CVS tree, or more
 generally if you plan to regenerate some of the generated files.
 
-  GNU Autoconf >= 2.57
+  GNU Autoconf >= 2.59
   GNU Automake >= 1.8
+  GNU Libtool >= 1.4
   GNU Flex (the version probably doesn't matter much, we used 2.5.31)
   The CVS version of GNU Bison (called 1.875c at the time of writing)
   SWIG 1.3.21
diff --git a/NEWS b/NEWS
index a584e8d4c..5ddb28819 100644
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,14 @@
-New in spot 0.0s:
+New in spot 0.0t (2004-04-23):
+
+  * `emptiness_check':
+      - fix two bugs in the computation of the counter example,
+      - revamp the interface for better customization.
+  * `never_claim_reachable': new function.
+  * Introduce annonymous BDD variables in `bdd_dict', and start
+    to use it in `ltl_to_tgba_fm'.
+  * Offer never claim in the CGI script.
+  * Rename EESRG as SSP, and offer specialized variants of the
+    emptiness_check.
 
 New in spot 0.0r (2004-03-08):
 
diff --git a/configure.ac b/configure.ac
index 85001121b..ae5f7be93 100644
--- a/configure.ac
+++ b/configure.ac
@@ -19,8 +19,8 @@
 # Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 # 02111-1307, USA.
 
-AC_PREREQ([2.57])
-AC_INIT([spot], [0.0s])
+AC_PREREQ([2.59])
+AC_INIT([spot], [0.0t])
 AC_CONFIG_AUX_DIR([tools])
 AM_INIT_AUTOMAKE([gnits nostdinc 1.8])
 
diff --git a/src/sanity/Makefile.am b/src/sanity/Makefile.am
index 42eb4d9e1..49c32f42e 100644
--- a/src/sanity/Makefile.am
+++ b/src/sanity/Makefile.am
@@ -41,3 +41,4 @@ installcheck-local:
 
 
 CLEANFILES = failures incltest.*
+EXTRA_DIST = includes.test