diff --git a/NEWS b/NEWS index 6f3281b85..2511250d9 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.99b (not yet released) +New in spot 1.99.1 (2015-06-23) * Major changes motivating the jump in version number @@ -415,10 +415,6 @@ New in spot 1.99b (not yet released) case you have a file in this format, install Spot 1.2.6 and use "src/tgbatest/ltl2tgba -H -X file" to convert the file to HOA.) -New in spot 1.2.6a (not yet released) - - Nothing yet. - New in spot 1.2.6 (2014-12-06) * New features: diff --git a/configure.ac b/configure.ac index 3841858e1..c29e2ad4f 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], [1.99b], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.99.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 bd4407192..cb844d763 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,8 +1,8 @@ #+OPTIONS: H:2 num:nil toc:t #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 1.99b -#+MACRO: LASTRELEASE 1.2.6 -#+MACRO: LASTTARBALL [[file:http:/www.lrde.epita.fr/dload/spot/spot-1.2.6.tar.gz][=spot-1.2.6.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-2-6/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2014-12-06 +#+MACRO: SPOTVERSION 1.99.1 +#+MACRO: LASTRELEASE 1.99.1 +#+MACRO: LASTTARBALL [[file:http:/www.lrde.epita.fr/dload/spot/spot-1.99.1.tar.gz][=spot-1.99.1.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-1/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2015-06-23