[PPL-devel] [GIT] ppl/ppl(master): Man pages updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sat Apr 10 11:25:01 2010 +0200

Man pages updated.

---

 TODO                        |    6 ------
 demos/ppl_lcdd/ppl_lcdd.1   |    2 +-
 demos/ppl_lpsol/ppl_lpsol.1 |    2 +-
 demos/ppl_pips/ppl_pips.1   |   20 ++++++++++----------
 doc/ppl-config.1            |    2 +-
 5 files changed, 13 insertions(+), 19 deletions(-)

diff --git a/TODO b/TODO
index a617803..76d679e 100644
--- a/TODO
+++ b/TODO
@@ -1,10 +1,4 @@
 
-Enhancements for PPL 0.11
-=========================
-
-- Complete the ppl_pips man page.
-
-
 Enhancements for PPL 0.12 or later versions
 ===========================================
 
diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1
index e22d7e6..f3737cb 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.36.
-.TH PPL_LCDD "1" "April 2010" "ppl_lcdd 0.11" "User Commands"
+.TH PPL_LCDD "1" "May 2010" "ppl_lcdd 0.11" "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 a2d6174..db6b5fd 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 2010" "ppl_lpsol 0.11" "User Commands"
+.TH PPL_LPSOL "1" "May 2010" "ppl_lpsol 0.11" "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 58b6fee..6b8806b 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.36.
-.TH PPL_PIPS "1" "April 2010" "ppl_pips 0.11" "User Commands"
+.TH PPL_PIPS "1" "May 2010" "ppl_pips 0.11" "User Commands"
 .SH NAME
 ppl_pips \- a PPL-based parametric integer programming problem solver
 .SH SYNOPSIS
@@ -21,10 +21,10 @@ prints this help text to stdout
 appends output to PATH
 .TP
 \fB\-P\fR, \fB\-\-polylib\fR
-read problem in Polylib format (default)
+reads problem in PolyLib format (default)
 .TP
 \fB\-p\fR, \fB\-\-piplib\fR
-read problem in PIPlib format
+reads problem in PipLib format
 .TP
 \fB\-t\fR, \fB\-\-timings\fR
 prints timings to stderr
@@ -33,7 +33,7 @@ prints timings to stderr
 produces lots of output
 .TP
 \fB\-i\fR, \fB\-\-iterations\fR=\fIN\fR
-execute the resolution N times (default=1)
+executes the resolution N times (default=1)
 .TP
 \fB\-V\fR, \fB\-\-version\fR
 prints version information to stdout
@@ -43,20 +43,20 @@ checks if the result is equal to what is in PATH
 .SS "Cut generation options:"
 .TP
 \fB\-f\fR, \fB\-\-cut\-first\fR
-use the first non\-integer row (default)
+uses the first non\-integer row (default)
 .TP
 \fB\-d\fR, \fB\-\-cut\-deepest\fR
-try to generate the deepest cut
+tries to generate the deepest cut
 .TP
 \fB\-a\fR, \fB\-\-cut\-all\fR
-always generate all possible cuts
+always generates all possible cuts
 .SS "Pivot row strategy options:"
 .TP
 \fB\-F\fR, \fB\-\-row\-first\fR
-use the first row with negative parameter (default)
+uses the first row with negative parameter (default)
 .TP
 \fB\-M\fR, \fB\-\-row\-max\fR
-choose row generating the lexico\-maximal pivot column
+chooses row generating the lexico\-maximal pivot column
 .SH AVAILABILITY
 The latest version of the Parma Polyhedra Library and all the documentation
 is available at \fBhttp://www.cs.unipr.it/ppl/\fR .
@@ -93,7 +93,7 @@ The following row contains the parameter number for the so-called
 If no big parameter is used, the value is -1.
 .TP
 -
-The following rows encode the problem inequality matrix..
+The following rows encode the problem inequality matrix.
 As for the context matrix, the first two values are the dimensions of the
 matrix. The number of variables is the number of columns in the matrix
 minus the number of parameters minus 2.
diff --git a/doc/ppl-config.1 b/doc/ppl-config.1
index e08658a..5e54525 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 2010" "ppl-config 0.11" "User Commands"
+.TH PPL-CONFIG "1" "May 2010" "ppl-config 0.11" "User Commands"
 .SH NAME
 ppl-config \- obtain information about an installation of the Parma Polyhedra Library
 .SH SYNOPSIS