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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 2 15:03:33 2010 +0200

Updated.

---

demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_pips/ppl_pips.1 | 2 +- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index f3737cb..46908ca 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" "May 2010" "ppl_lcdd 0.11" "User Commands" +.TH PPL_LCDD "1" "August 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 db6b5fd..3c33e93 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" "May 2010" "ppl_lpsol 0.11" "User Commands" +.TH PPL_LPSOL "1" "August 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 6b8806b..0302609 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" "May 2010" "ppl_pips 0.11" "User Commands" +.TH PPL_PIPS "1" "August 2010" "ppl_pips 0.11" "User Commands" .SH NAME ppl_pips - a PPL-based parametric integer programming problem solver .SH SYNOPSIS diff --git a/doc/libppl.3 b/doc/libppl.3 index 0ff3e52..f8d6432 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -1,4 +1,4 @@ -.TH libppl "3" "April 2009" "PPL 0.11" "libppl overview" +.TH libppl "3" "August 2010" "PPL 0.11" "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 d48f19d..9e8ee1c 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -1,4 +1,4 @@ -.TH libppl_c "3" "April 2009" "PPL 0.11" "libppl_c overview" +.TH libppl_c "3" "August 2010" "PPL 0.11" "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 5e54525..2e50341 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" "May 2010" "ppl-config 0.11" "User Commands" +.TH PPL-CONFIG "1" "August 2010" "ppl-config 0.11" "User Commands" .SH NAME ppl-config - obtain information about an installation of the Parma Polyhedra Library .SH SYNOPSIS