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])