From 44b351d23c3bb9640011743ca9ddbb2d151b0457 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 3 Feb 2004 14:18:33 +0000 Subject: [PATCH] * configure.ac, NEWS: Bump version to 0.0p. --- ChangeLog | 2 ++ NEWS | 9 ++++++++- configure.ac | 2 +- 3 files changed, 11 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 11a55a793..ff6883834 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2004-02-03 Alexandre Duret-Lutz + * configure.ac, NEWS: Bump version to 0.0p. + * wrap/python/cgi/ltl2tgba.in: Fix setting to cope with IE, Safari, konqueror, ... None of these support rules="groups" frame="border" properly (Mozilla is OK). diff --git a/NEWS b/NEWS index 6593d4ade..32a83d255 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,11 @@ -New in spot 0.0o: +New in spot 0.0p (2004-02-03): + + * In ltl_to_tgba_fm: + - identify states with identical symbolic expansions + (i.e., identical continuations) + - use Acc[b] as acceptance condition for Fb, not Acc[Fb]. + * Update and speed-up the cgi script. + * Improve degeneralization. New in spot 0.0n (2004-01-13): diff --git a/configure.ac b/configure.ac index c455b33e4..b004d2130 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.57]) -AC_INIT([spot], [0.0o]) +AC_INIT([spot], [0.0p]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([gnits nostdinc 1.8])