Module: ppl/ppl Branch: master Commit: 32df614c49c99b69bed6400d0868d24f96ab1c2b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32df614c49c99...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Feb 11 11:19:57 2016 +0100

Updated.

---

configure.ac | 2 +- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- doc/ppl-config_extra_man_text | 10 +++++----- 5 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/configure.ac b/configure.ac index dd9361a..7ed20bd 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], [1.2pre7], [ppl-devel@cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre8], [ppl-devel@cs.unipr.it], [ppl])

# Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index f6f4938..69e6e04 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,5 +1,5 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_LCDD "1" "October 2013" "ppl_lcdd 1.1" "User Commands" +.TH PPL_LCDD "1" "February 2016" "ppl_lcdd 1.2" "User Commands" .SH NAME ppl_lcdd - a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index 87162b1..df53971 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -1,5 +1,5 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_LPSOL "1" "October 2013" "ppl_lpsol 1.1" "User Commands" +.TH PPL_LPSOL "1" "February 2016" "ppl_lpsol 1.2" "User Commands" .SH NAME ppl_lpsol - a PPL-based mixed integer programming problem solver .SH SYNOPSIS diff --git a/demos/ppl_pips/ppl_pips.1 b/demos/ppl_pips/ppl_pips.1 index 4f648c8..df4447f 100644 --- a/demos/ppl_pips/ppl_pips.1 +++ b/demos/ppl_pips/ppl_pips.1 @@ -1,5 +1,5 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.40.11. -.TH PPL_PIPS "1" "October 2013" "ppl_pips 1.1" "User Commands" +.TH PPL_PIPS "1" "February 2016" "ppl_pips 1.2" "User Commands" .SH NAME ppl_pips - a PPL-based parametric integer programming problem solver .SH SYNOPSIS diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index b924d08..3a36ae3 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -4,27 +4,27 @@ .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.0)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.2)", available (in several formats) at \fBhttp://bugseng.com/products/ppl/%5CfR .