Module: ppl/ppl Branch: master Commit: f4df86f705b1581500006ecdf29851919cf02968 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4df86f705b15...
Author: Roberto Bagnara bagnara@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@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@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@cs.unipr.it],[ppl]) +AC_INIT([the Parma Polyhedra Library],[0.10.2pre1],[ppl-devel@cs.unipr.it],[ppl])
# Minimum Autoconf version required. AC_PREREQ(2.61)