[PPL-devel] [GIT] ppl/ppl(deprecated_0_11_removal): Updated for PPL 0.10.2.

[Roberto Bagnara]

Module: ppl/ppl
Branch: deprecated_0_11_removal
Commit: f4df86f705b1581500006ecdf29851919cf02968
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4df86f705b1581500006ecdf29851919cf02968

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Apr 15 22:30:20 2009 +0200

Updated for PPL 0.10.2.

---

 NEWS         |   14 ++++++++++++++
 README       |   36 ++++++++++++++++++------------------
 TODO         |    6 ------
 configure.ac |    2 +-
 4 files changed, 33 insertions(+), 25 deletions(-)

diff --git a/NEWS b/NEWS
index d185ac2..678bf2b 100644
--- a/NEWS
+++ b/NEWS
@@ -4,6 +4,20 @@ Parma Polyhedra Library NEWS -- history of user-visible changes
 
 
 --------------------------------------------------------------------------
+NEWS for version 0.10.2  (released on April 18, 2009)
+--------------------------------------------------------------------------
+
+Bugfixes
+========
+
+o  Correctly detect GMP 4.3.0.
+
+o  Fixed the C interface library version information.
+
+o  Makefiles fixed so as to avoid failure of `make -n check'.
+
+
+--------------------------------------------------------------------------
 NEWS for version 0.10.1  (released on April 14, 2009)
 --------------------------------------------------------------------------
 
diff --git a/README b/README
index a79c408..daefe30 100644
--- a/README
+++ b/README
@@ -2,10 +2,10 @@ Copyright (C) 2001-2009 Roberto Bagnara <bagnara at cs.unipr.it>
 See below for the copying conditions.
 
 
-Parma Polyhedra Library (Release 0.10.1)
+Parma Polyhedra Library (Release 0.10.2)
 ========================================
 
-This is the release 0.10.1 of the Parma Polyhedra Library:
+This is the release 0.10.2 of the Parma Polyhedra Library:
 a C++ library for (not necessarily closed) convex polyhedra
 and other numerical abstractions.
 
@@ -66,7 +66,7 @@ write to ppl-devel at cs.unipr.it.
 Here is the contents of the PPL 0.10 source distribution
 (41 directories, 1446 files):
 
-ppl-0.10.1
+ppl-0.10.2
 |-- BUGS
 |-- COPYING
 |-- CREDITS
@@ -394,21 +394,21 @@ ppl-0.10.1
 |   |-- libppl.3
 |   |-- libppl_c.3
 |   |-- ppl-config.1
-|   |-- ppl-user-0.10.1-html.tar.gz
-|   |-- ppl-user-0.10.1.pdf
-|   |-- ppl-user-0.10.1.ps.gz
-|   |-- ppl-user-c-interface-0.10.1-html.tar.gz
-|   |-- ppl-user-c-interface-0.10.1.pdf
-|   |-- ppl-user-c-interface-0.10.1.ps.gz
-|   |-- ppl-user-java-interface-0.10.1-html.tar.gz
-|   |-- ppl-user-java-interface-0.10.1.pdf
-|   |-- ppl-user-java-interface-0.10.1.ps.gz
-|   |-- ppl-user-ocaml-interface-0.10.1-html.tar.gz
-|   |-- ppl-user-ocaml-interface-0.10.1.pdf
-|   |-- ppl-user-ocaml-interface-0.10.1.ps.gz
-|   |-- ppl-user-prolog-interface-0.10.1-html.tar.gz
-|   |-- ppl-user-prolog-interface-0.10.1.pdf
-|   |-- ppl-user-prolog-interface-0.10.1.ps.gz
+|   |-- ppl-user-0.10.2-html.tar.gz
+|   |-- ppl-user-0.10.2.pdf
+|   |-- ppl-user-0.10.2.ps.gz
+|   |-- ppl-user-c-interface-0.10.2-html.tar.gz
+|   |-- ppl-user-c-interface-0.10.2.pdf
+|   |-- ppl-user-c-interface-0.10.2.ps.gz
+|   |-- ppl-user-java-interface-0.10.2-html.tar.gz
+|   |-- ppl-user-java-interface-0.10.2.pdf
+|   |-- ppl-user-java-interface-0.10.2.ps.gz
+|   |-- ppl-user-ocaml-interface-0.10.2-html.tar.gz
+|   |-- ppl-user-ocaml-interface-0.10.2.pdf
+|   |-- ppl-user-ocaml-interface-0.10.2.ps.gz
+|   |-- ppl-user-prolog-interface-0.10.2-html.tar.gz
+|   |-- ppl-user-prolog-interface-0.10.2.pdf
+|   |-- ppl-user-prolog-interface-0.10.2.ps.gz
 |   |-- ppl.sty
 |   |-- user-language-interface.doxyconf.in
 |   |-- user-language-interface.tex
diff --git a/TODO b/TODO
index a8c932c..cfbd3be 100644
--- a/TODO
+++ b/TODO
@@ -1,10 +1,4 @@
 
-Enhancements for PPL 0.10.1 or later versions
-=============================================
-
-- Update the NEWS file.
-
-
 Enhancements for PPL 0.11
 =========================
 
diff --git a/configure.ac b/configure.ac
index eab19fc..090590c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -23,7 +23,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.10.1pre13],[ppl-devel at cs.unipr.it],[ppl])
+AC_INIT([the Parma Polyhedra Library],[0.10.2pre1],[ppl-devel at cs.unipr.it],[ppl])
 
 # Minimum Autoconf version required.
 AC_PREREQ(2.61)