diff --git a/NEWS b/NEWS index 100d3aea1..524ef5fd4 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 1.99.3a (not yet released) +New in spot 1.99.4 (2015-10-01) New features: diff --git a/configure.ac b/configure.ac index 3ed3b09f9..a2887e863 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.3a], [spot@lrde.epita.fr]) +AC_INIT([spot], [1.99.4], [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/index.org b/doc/org/index.org index 11d279ac0..58e1fde71 100644 --- a/doc/org/index.org +++ b/doc/org/index.org @@ -41,8 +41,8 @@ The latest version is *{{{LASTRELEASE}}}* and was released on * On-line LTL/PSL translator -- [[http://spot.lrde.epita.fr/trans.html][This page]] provides a convenient way to translate LTL or PSL formulas into automata, - without installing Spot. +- [[http://spot.lrde.epita.fr/trans.html][Our on-line translator]] provides a convenient way to translate LTL or + PSL formulas into automata, without installing Spot. * License diff --git a/doc/org/setup.org b/doc/org/setup.org index c503cc9af..2734500dc 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.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 +#+MACRO: SPOTVERSION 1.99.4 +#+MACRO: LASTRELEASE 1.99.4 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-1.99.4.tar.gz][=spot-1.99.4.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-99-4/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2015-10-01