From fd6614181bef8f8156c752f05d9b1b6800598602 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 20 Sep 2016 08:54:56 +0200 Subject: [PATCH] Release Spot 2.1.1 * NEWS, configure.ac, doc/org/setup.org: Bump version number. --- NEWS | 6 +++--- configure.ac | 2 +- doc/org/setup.org | 10 +++++----- 3 files changed, 9 insertions(+), 9 deletions(-) diff --git a/NEWS b/NEWS index 945fd3e53..86b697daf 100644 --- a/NEWS +++ b/NEWS @@ -1,11 +1,11 @@ -New in spot 2.1.0a (not yet released) +New in spot 2.1.1 (2016-09-20) Command-line tools: * ltlfilt, randltl, genltl, and ltlgrind learned to display the size (%s), Boolean size (%b), and number of atomic propositions (%a) - with the --format and --output options. A typical use is to sort - formulas by size: + with the --format and --output options. A typical use-case is to + sort formulas by size: genltl --dac --format='%s,%f' | sort -n | cut -d, -f2 or to group formulas by number of atomic propositions: genltl --dac --output='ap-%a.ltl' diff --git a/configure.ac b/configure.ac index 304eac3da..1b4f4ba9a 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.1.0a], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.1.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 e13b8d49a..dc16da024 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.1 -#+MACRO: LASTRELEASE 2.1 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.1.tar.gz][=spot-2.1.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-1/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2016-08-08 +#+MACRO: SPOTVERSION 2.1.1 +#+MACRO: LASTRELEASE 2.1.1 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.1.1.tar.gz][=spot-2.1.1.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-1-1/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2016-09-20