diff --git a/NEWS b/NEWS index ebc4b4bd3..6642c56ef 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 0.9.1a: +New in spot 0.9.2 (2012-07-02): * New features to the web interface. - It can run ltl3ba (Babiak et al., TACAS'12) where available. diff --git a/configure.ac b/configure.ac index 2cfbfaba2..da84c3876 100644 --- a/configure.ac +++ b/configure.ac @@ -22,7 +22,7 @@ # 02111-1307, USA. AC_PREREQ([2.61]) -AC_INIT([spot], [0.9.1a], [spot@lrde.epita.fr]) +AC_INIT([spot], [0.9.2], [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])