From 280ad8d7563919bbcec6817d1249237f11807826 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 13 Aug 2004 13:18:10 +0000 Subject: [PATCH] * configure.ac, NEWS: Bump version to 0.0x. --- ChangeLog | 4 ++++ NEWS | 10 +++++++++- configure.ac | 2 +- 3 files changed, 14 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 2d6179580..ba5b3b8b7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-08-13 Alexandre Duret-Lutz + + * configure.ac, NEWS: Bump version to 0.0x. + 2004-08-12 Alexandre Duret-Lutz * doc/Doxyfile.in (GENERATE_TAGFILE): Build spot.tag. diff --git a/NEWS b/NEWS index 814a0e35b..534d8379b 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,12 @@ -New in spot 0.0w: +New in spot 0.0x (2004-08-13): + + * New atomic_prop_collect() function: collect atomic propositions + in an LTL formula. + * Fix several typos in documentation, and some warnings in the code. + * Now compiles on Darwin and Cygwin. + * Upgrade to Automake 1.9.1, and lbtt 1.1.2. + (And drop support for older lbtt versions.) + * Support newer versions of Valgrind (>= 2.1.0). New in spot 0.0v (2004-06-29): diff --git a/configure.ac b/configure.ac index 00f2ada29..f59dec188 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.59]) -AC_INIT([spot], [0.0w]) +AC_INIT([spot], [0.0x]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([gnits nostdinc 1.8])