[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Prepare for release 0.11.1.

[Roberto Bagnara]

Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: 968a31a322a9b78479360cb4a5896c9c18caf2ae
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=968a31a322a9b78479360cb4a5896c9c18caf2ae

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Jan 25 19:46:05 2011 +0100

Prepare for release 0.11.1.

---

 NEWS                     |    2 ++
 README                   |   39 ++++++++++++++++++---------------------
 Watchdog/src/Makefile.am |    1 +
 configure.ac             |    2 +-
 src/Makefile.am          |    1 +
 5 files changed, 23 insertions(+), 22 deletions(-)

diff --git a/NEWS b/NEWS
index d487b0e..15dedc3 100644
--- a/NEWS
+++ b/NEWS
@@ -48,6 +48,8 @@ o  Fixed a bug whereby the argument of all the methods
 
    was not checked correctly for space dimension compatibility.
 
+o  Portability improved.
+
 
 --------------------------------------------------------------------------
 NEWS for version 0.11  (released on August 2, 2010)
diff --git a/README b/README
index b1b435a..49f1d4b 100644
--- a/README
+++ b/README
@@ -3,10 +3,10 @@ Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
 See below for the copying conditions.
 
 
-Parma Polyhedra Library (Release 0.11)
-======================================
+Parma Polyhedra Library (Release 0.11.1)
+========================================
 
-This is the release 0.11 of the Parma Polyhedra Library:
+This is the release 0.11.1 of the Parma Polyhedra Library:
 a C++ library for (not necessarily closed) convex polyhedra
 and other numerical abstractions.
 
@@ -64,10 +64,10 @@ See http://www.cs.unipr.it/ppl/ for more information on the PPL.
 For any additional questions you might have, please do not hesitate to
 write to ppl-devel at cs.unipr.it.
 
-Here is the contents of the PPL 0.11 source distribution
-(44 directories, 1589 files):
+Here is the contents of the PPL 0.11.1 source distribution
+(44 directories, 1586 files):
 
-ppl-0.11
+ppl-0.11.1
 |-- BUGS
 |-- COPYING
 |-- CREDITS
@@ -444,21 +444,18 @@ ppl-0.11
 |   |-- libppl.3
 |   |-- libppl_c.3
 |   |-- ppl-config.1
-|   |-- ppl-user-0.11pre25-html.tar.gz
-|   |-- ppl-user-0.11pre25.pdf
-|   |-- ppl-user-0.11pre25.ps.gz
-|   |-- ppl-user-c-interface-0.11pre25-html.tar.gz
-|   |-- ppl-user-c-interface-0.11pre25.pdf
-|   |-- ppl-user-c-interface-0.11pre25.ps.gz
-|   |-- ppl-user-java-interface-0.11pre25-html.tar.gz
-|   |-- ppl-user-java-interface-0.11pre25.pdf
-|   |-- ppl-user-java-interface-0.11pre25.ps.gz
-|   |-- ppl-user-ocaml-interface-0.11pre25-html.tar.gz
-|   |-- ppl-user-ocaml-interface-0.11pre25.pdf
-|   |-- ppl-user-ocaml-interface-0.11pre25.ps.gz
-|   |-- ppl-user-prolog-interface-0.11pre25-html.tar.gz
-|   |-- ppl-user-prolog-interface-0.11pre25.pdf
-|   |-- ppl-user-prolog-interface-0.11pre25.ps.gz
+|   |-- ppl-user-0.11.1-html.tar.gz
+|   |-- ppl-user-0.11.1.pdf
+|   |-- ppl-user-0.11.1.ps.gz
+|   |-- ppl-user-c-interface-0.11.1-html.tar.gz
+|   |-- ppl-user-c-interface-0.11.1.pdf
+|   |-- ppl-user-c-interface-0.11.1.ps.gz
+|   |-- ppl-user-ocaml-interface-0.11.1-html.tar.gz
+|   |-- ppl-user-ocaml-interface-0.11.1.pdf
+|   |-- ppl-user-ocaml-interface-0.11.1.ps.gz
+|   |-- ppl-user-prolog-interface-0.11.1-html.tar.gz
+|   |-- ppl-user-prolog-interface-0.11.1.pdf
+|   |-- ppl-user-prolog-interface-0.11.1.ps.gz
 |   |-- ppl.sty
 |   |-- user-language-interface.doxyconf.in
 |   |-- user-language-interface.tex
diff --git a/Watchdog/src/Makefile.am b/Watchdog/src/Makefile.am
index a5ef5ad..1ac2ae8 100644
--- a/Watchdog/src/Makefile.am
+++ b/Watchdog/src/Makefile.am
@@ -95,6 +95,7 @@ pwl_header.hh
 #	    0.7			0.10.1		    4:0:0
 #	    0.7			0.10.2		    4:0:0
 #	    0.8			0.11		    5:0:0
+#	    0.8			0.11.1		    5:0:0
 
 LIBPWL_LT_CURRENT =  5
 LIBPWL_LT_REVISION = 0
diff --git a/configure.ac b/configure.ac
index 1244dd4..5005cca 100644
--- a/configure.ac
+++ b/configure.ac
@@ -24,7 +24,7 @@
 # Process this file with Autoconf to produce a configure script.
 
 # Every other copy of the package version number gets its value from here.
-AC_INIT([the Parma Polyhedra Library], [0.11.1pre3], [ppl-devel at cs.unipr.it], [ppl])
+AC_INIT([the Parma Polyhedra Library], [0.11.1pre4], [ppl-devel at cs.unipr.it], [ppl])
 
 # Minimum Autoconf version required.
 AC_PREREQ(2.61)
diff --git a/src/Makefile.am b/src/Makefile.am
index 238708b..b876d1e 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -56,6 +56,7 @@
 #	    0.10.1		    8:0:1
 #	    0.10.2		    8:0:1
 #	    0.11		    9:0:0
+#	    0.11.1		    9:0:0
 
 LIBPPL_LT_CURRENT =  9
 LIBPPL_LT_REVISION = 0