[PPL-devel] [GIT] ppl/ppl(ppl-0_10-branch): Updated for PPL 0.10.2.
Roberto Bagnara
bagnara at cs.unipr.it
Fri Apr 17 12:55:35 CEST 2009
Module: ppl/ppl
Branch: ppl-0_10-branch
Commit: 8a5a53ecbeb4eecf23682cb98bbdea1d42dd286b
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8a5a53ecbeb4eecf23682cb98bbdea1d42dd286b
Author: Roberto Bagnara <bagnara at 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 at cs.unipr.it>.
.SH COPYRIGHT
Copyright (C) 2001\-2009 Roberto Bagnara <bagnara at 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/\fR .
.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/\fR .
.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/\fR .
.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/\fR .
.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/\fR .
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/\fR .
.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/\fR .
.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/\fR .
.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/\fR .
.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/\fR .
More information about the PPL-devel
mailing list