[GIT] ppl/ppl(master): Updated.

27 Jun 2012

Module: ppl/ppl
Branch: master
Commit: b953bd3a4260008a5bbde84139da0d7e50994fa3
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b953bd3a42600...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Wed Jun 27 09:05:59 2012 +0200
Updated.
---
doc/libppl.3                  |    8 ++++----
 doc/libppl_c.3                |   16 ++++++++--------
 doc/ppl-config.1              |   10 +++++-----
 doc/ppl-config_extra_man_text |   10 +++++-----
 4 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/doc/libppl.3 b/doc/libppl.3
index 7b3e4fa..691b187 100644
--- a/doc/libppl.3
+++ b/doc/libppl.3
@@ -1,4 +1,4 @@
-.TH libppl "3" "April 2012" "PPL 0.12.1" "libppl overview"
+.TH libppl "3" "June 2012" "PPL 1.0" "libppl overview"
.SH NAME
 libppl - the C++ interface of the Parma Polyhedra Library
@@ -15,7 +15,7 @@ Note that the PPL has interfaces also for C, Java, OCaml and a number
 of Prolog systems: look elsewhere for documentation on those.
 Note also that the present document does not describe the library
 functionality, its classes or its methods and functions: see
-.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)"
+.IR "The Parma Polyhedra Library User's Manual (version 1.0)"
 for this kind of information.
.SH "INCLUDING THE HEADER FILE"
@@ -61,7 +61,7 @@ when you are done with the library.
.SH "USING THE LIBRARY"
 Keeping in mind that there is no substitute for a careful reading of
-.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)",
+.IR "The Parma Polyhedra Library User's Manual (version 1.0)",
 you can find many examples of use in the directories
 .B tests
 (see the
@@ -196,7 +196,7 @@ before invoking any PPL interface related to such abstractions.
 .BR ppl-config(1)
 .sp
 Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
-.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)",
+.IR "The Parma Polyhedra Library User's Manual (version 1.0)",
 available (in several formats) at
 \fBhttp://bugseng.com/products/ppl/%5CfR .
 .sp
diff --git a/doc/libppl_c.3 b/doc/libppl_c.3
index 19fbc4e..aa76d21 100644
--- a/doc/libppl_c.3
+++ b/doc/libppl_c.3
@@ -1,4 +1,4 @@
-.TH libppl_c "3" "April 2012" "PPL 0.12.1" "libppl_c overview"
+.TH libppl_c "3" "June 2012" "PPL 1.0" "libppl_c overview"
.SH NAME
 libppl_c - the C interface of the Parma Polyhedra Library
@@ -15,9 +15,9 @@ Note that the PPL has interfaces also for C++, Java, OCaml and a number
 of Prolog systems: look elsewhere for documentation on those.
 Note also that the present document does not describe the library
 functionality, its classes or its methods and functions: see
-.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)"
+.IR "The Parma Polyhedra Library User's Manual (version 1.0)"
 and
-.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12.1)"
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)"
 for this kind of information.
.SH "INCLUDING THE HEADER FILE"
@@ -48,9 +48,9 @@ when you are done with the library.
.SH "USING THE LIBRARY"
 Keeping in mind that there is no substitute for a careful reading of
-.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)"
+.IR "The Parma Polyhedra Library User's Manual (version 1.0)"
 and
-.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12.1)"
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)"
 you can find examples of use in the directories
 .B interfaces/C/tests
 and
@@ -81,7 +81,7 @@ is especially valuable for GNU/Linux users).
 .SH "RETURN VALUES"
 All the PPL C interface functions return an int: a negative value means
 that an error occurred.  See
-.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.12.1)"
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)"
 for the error codes.
.SH "IMPLEMENTING MEMORY-GUARDED COMPUTATIONS"
@@ -127,12 +127,12 @@ before invoking any PPL interface related to such abstractions.
 .BR libppl(3)
 .sp
 Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
-.IR "The Parma Polyhedra Library User's Manual (version 0.12.1)",
+.IR "The Parma Polyhedra Library User's Manual (version 1.0)",
 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 0.12.1)",
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)",
 available (in several formats) at
 \fBhttp://bugseng.com/products/ppl/%5CfR .
 .sp
diff --git a/doc/ppl-config.1 b/doc/ppl-config.1
index b7dae3d..3c18381 100644
--- a/doc/ppl-config.1
+++ b/doc/ppl-config.1
@@ -117,26 +117,26 @@ Report bugs to <ppl-devel@cs.unipr.it>.
 .BR libppl_c(3)
 .sp
 Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
-.IR "The Parma Polyhedra Library User's Manual (version 0.12)",
+.IR "The Parma Polyhedra Library User's Manual (version 1.0)",
 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 0.12)",
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)",
 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 0.12)",
+.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.0)",
 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 0.12)",
+.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.0)",
 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 0.12)",
+.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.0)",
 available (in several formats) at
 \fBhttp://bugseng.com/products/ppl/%5CfR .
diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text
index 8561dd4..63852a8 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.12)",
+.IR "The Parma Polyhedra Library User's Manual (version 1.0)",
 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 0.12)",
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.0)",
 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 0.12)",
+.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.0)",
 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 0.12)",
+.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.0)",
 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 0.12)",
+.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.0)",
 available (in several formats) at
 \fBhttp://bugseng.com/products/ppl/%5CfR .

    

Roberto Bagnara

tags (0)

participants (1)