From b253881336bbbe95d19a6cbd7dbdac5998525e25 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 5 Feb 2004 13:08:57 +0000 Subject: [PATCH] * src/tgbatest/spotlbtt.test: Typo. --- ChangeLog | 4 ++++ NEWS | 2 ++ configure.ac | 2 +- src/tgbatest/spotlbtt.test | 4 ++-- 4 files changed, 9 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index c8c03b5d6..3fde27af8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2004-02-05 Alexandre Duret-Lutz + * src/tgbatest/spotlbtt.test: Typo. + * wrap/python/spot.i (unblock_signal): New function. * wrap/python/cgi/ltl2tgba.in (print_footer, alarm_handler) (reset_alarm): New functions. Kill the script and its @@ -8,6 +10,8 @@ 2004-02-03 Alexandre Duret-Lutz + * configure.ac, NEWS: Bump version to 0.0q. + * configure.ac, NEWS: Bump version to 0.0p. * wrap/python/cgi/ltl2tgba.in: Fix setting to cope diff --git a/NEWS b/NEWS index 32a83d255..ba0c00a50 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,5 @@ +New in spot 0.0q: + New in spot 0.0p (2004-02-03): * In ltl_to_tgba_fm: diff --git a/configure.ac b/configure.ac index b004d2130..bcf353610 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # 02111-1307, USA. AC_PREREQ([2.57]) -AC_INIT([spot], [0.0p]) +AC_INIT([spot], [0.0q]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([gnits nostdinc 1.8]) diff --git a/src/tgbatest/spotlbtt.test b/src/tgbatest/spotlbtt.test index 4d427d200..4a33c3516 100755 --- a/src/tgbatest/spotlbtt.test +++ b/src/tgbatest/spotlbtt.test @@ -1,5 +1,5 @@ #!/bin/sh -# Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), # département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # @@ -37,7 +37,7 @@ Algorithm Algorithm { - Name = "Spot (Couvreur -- LACIM), degeneralized" + Name = "Spot (Couvreur -- LaCIM), degeneralized" Path = "${LBTT_TRANSLATE} --spot './ltl2tgba -F -t -D'" Enabled = yes }