Module: ppl/ppl Branch: deprecated_0_11_removal Commit: 8a5a53ecbeb4eecf23682cb98bbdea1d42dd286b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a5a53ecbeb4e...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 16 12:02:03 2009 +0200
Updated for PPL 0.10.2.
---
demos/ppl_lcdd/ppl_lcdd.1 | 4 ++-- demos/ppl_lpsol/ppl_lpsol.1 | 4 +--- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 12 ++++++------ doc/ppl-config_extra_man_text | 10 +++++----- 6 files changed, 16 insertions(+), 18 deletions(-)
diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index f460191..461c540 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -1,10 +1,10 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL_LCDD "1" "April 2009" "ppl_lcdd 0.10.1" "User Commands" +.TH PPL_LCDD "1" "April 2009" "ppl_lcdd 0.10.2" "User Commands" .SH NAME ppl_lcdd - a PPL-based program for vertex/facet enumeration of convex polyhedra .SH SYNOPSIS .B ppl_lcdd -[\fIOPTION\fR]... [\fIFILE\fR]... +[\fIOPTION\fR]... [\fIFILE\fR] .SH DESCRIPTION Reads an H-representation (resp., a V-representation) of a polyhedron and generates a V-representation (resp., an H-representation) of diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index d00ea15..5374c6e 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.36. -.TH PPL_LPSOL "1" "April 2009" "ppl_lpsol 0.10.1" "User Commands" +.TH PPL_LPSOL "1" "April 2009" "ppl_lpsol 0.10.2" "User Commands" .SH NAME ppl_lpsol - a PPL-based mixed integer programming problem solver .SH SYNOPSIS @@ -83,8 +83,6 @@ The options \fB-CSECS\fR (\fB--max-cpu\fR=\fISECS\fR) and .SH AUTHOR See the file \fBCREDITS\fR in the source distribution or use the command \fBppl-config --credits\fR for a list of contributors. -.SH "REPORTING BUGS" -Report bugs to <ppl-devel@cs.unipr.it>. .SH COPYRIGHT Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it .br diff --git a/doc/libppl.3 b/doc/libppl.3 index 401c817..ee86159 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -1,4 +1,4 @@ -.TH libppl "3" "November 2008" "PPL 0.10.1" "libppl overview" +.TH libppl "3" "April 2009" "PPL 0.10.2" "libppl overview"
.SH NAME libppl - the C++ interface of the Parma Polyhedra Library diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index 91c8633..2013695 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -1,4 +1,4 @@ -.TH libppl_c "3" "November 2008" "PPL 0.10.1" "libppl_c overview" +.TH libppl_c "3" "April 2009" "PPL 0.10.2" "libppl_c overview"
.SH NAME libppl_c - the C interface of the Parma Polyhedra Library diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index ef18a8e..b4633ea 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -1,5 +1,5 @@ ." DO NOT MODIFY THIS FILE! It was generated by help2man 1.36. -.TH PPL-CONFIG "1" "April 2009" "ppl-config 0.10.1" "User Commands" +.TH PPL-CONFIG "1" "April 2009" "ppl-config 0.10.2" "User Commands" .SH NAME ppl-config - obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS @@ -116,26 +116,26 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. .BR libppl_c(3) .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index cad654d..52a6e56 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 0.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. -.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10)", +.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR .