diff --git a/NEWS b/NEWS index ad9bd6f8d..a6b2a4316 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.99.2a (not yet released) +New in spot 1.99.3 (2015-08-26) * The CGI script for LTL translation offers a HOA download link for each generated automaton. @@ -44,12 +44,12 @@ New in spot 1.99.2a (not yet released) - ltlcross no longer outputs additional columns about the size of the input automaton in the case ltl2dstar's format is used. - ltldo uses results in ltl2dstar's format directly, without - converting them to Büchi + converting them to Büchi. - dstar2tgba has been greatly simplified and now uses the same output routines as all the other tools that output - automata. This implies a few minor semantic changes for + automata. This implies a few minor semantic changes, for instance --stats=%A used to output the number of acceptance - *pairs* in the input automaton, while it nows output the + *pairs* in the input automaton, while it now outputs the number of acceptance sets like in all the other tools. * Bugs fixed diff --git a/configure.ac b/configure.ac index 977972056..66ca42182 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.99.2a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.99.3], [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 a632533c2..c503cc9af 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.99.2 -#+MACRO: LASTRELEASE 1.99.2 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.2.tar.gz][=spot-1.99.2.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-2/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2015-07-18 +#+MACRO: SPOTVERSION 1.99.3 +#+MACRO: LASTRELEASE 1.99.3 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.3.tar.gz][=spot-1.99.3.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-3/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2015-08-26