diff --git a/NEWS b/NEWS index 80a5b63cb..2e2f91cbe 100644 --- a/NEWS +++ b/NEWS @@ -1,8 +1,9 @@ -New in spot 2.2.0.dev (not yet released) +New in spot 2.2.1 (2016-11-21) - Bugs: + Bug fix: - * The bdd_noderesize() function, as modified in 2.2, would crash. + * The bdd_noderesize() function, as modified in 2.2, would always + crash. New in spot 2.2 (2016-11-14) @@ -64,7 +65,7 @@ New in spot 2.2 (2016-11-14) However the plan is to implement these more efficiently in the future. - Bugs: + Bug fixes: * ltl2tgba was always using the highest settings for the LTL simplifier, ignoring the --low and --medium options. Now diff --git a/configure.ac b/configure.ac index 790f647fc..1b97c65b4 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.61]) -AC_INIT([spot], [2.2.0.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.2.1], [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]) diff --git a/doc/org/setup.org b/doc/org/setup.org index 9b7888ae2..528627389 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,8 +1,8 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 2.2 -#+MACRO: LASTRELEASE 2.2 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.2.tar.gz][=spot-2.2.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-2/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2016-11-14 +#+MACRO: SPOTVERSION 2.2.1 +#+MACRO: LASTRELEASE 2.2.1 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.2.1.tar.gz][=spot-2.2.1.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-2-1/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2016-11-21