From d6959b4a467e5a4955fbe8dddc774e634e9adc45 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 28 Nov 2011 14:32:08 +0100 Subject: [PATCH] Release Spot 0.8. * NEWS, configure.ac: Bump version to 0.8. --- ChangeLog | 6 ++++++ NEWS | 4 ++-- configure.ac | 2 +- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index ed23d4032..bb4682493 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2011-11-28 Alexandre Duret-Lutz + + Release Spot 0.8. + + * NEWS, configure.ac: Bump version to 0.8. + 2011-11-28 Alexandre Duret-Lutz Remove spotref.pdf. diff --git a/NEWS b/NEWS index ce1b25445..ca14feccd 100644 --- a/NEWS +++ b/NEWS @@ -1,8 +1,8 @@ -New in spot 0.7.1a: +New in spot 0.8 (2011-11-28): * Major new features: - Spot can read DiVinE models. See iface/dve2/README for details. - - The genltl tool can now output 20 differents LTL formula families. + - The genltl tool can now output 20 different LTL formula families. It also replaces the LTLcounter Perl scripts. - There is a printer and parser for Kripke structures in text format. * Major interface changes: diff --git a/configure.ac b/configure.ac index e34f7b72f..07fee92e1 100644 --- a/configure.ac +++ b/configure.ac @@ -22,7 +22,7 @@ # 02111-1307, USA. AC_PREREQ([2.61]) -AC_INIT([spot], [0.7.1a], [spot@lrde.epita.fr]) +AC_INIT([spot], [0.8], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests])