From 1a946458023de50c97dbae9529bf6f11fc3fcd61 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 3 Nov 2003 12:05:24 +0000 Subject: [PATCH] * configure.ac, NEWS: Bump version to 0.0j. --- ChangeLog | 2 ++ NEWS | 9 +++++++++ configure.ac | 2 +- 3 files changed, 12 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 9f21edf0e..3a594ae07 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2003-11-03 Alexandre Duret-Lutz + * configure.ac, NEWS: Bump version to 0.0j. + * iface/gspn/eesrg.cc (tgba_succ_iterator_gspn_eesrg::step): Skip unknown variables. diff --git a/NEWS b/NEWS index c97fe5d0c..2182c3082 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,12 @@ +New in spot 0.0j (2003-10-03): + + * Use hash_map's instead of map's almost everywhere. + * New emptiness check, based on Couvreur's algorithm. + * LTL propositions can be put inside doublequotes to disambiguate + some constructions. + * Preliminary support for GreatSPN's EESRG. + * Various bug fixes. + New in spot 0.0h (2003-08-18): * More python bindings: diff --git a/configure.ac b/configure.ac index 16fe22ad4..e1580d0e3 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ AC_PREREQ([2.57]) -AC_INIT([spot], [0.0i]) +AC_INIT([spot], [0.0j]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([foreign nostdinc check-news 1.7.3])