[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Further changes for PPL 0.11.1.
Roberto Bagnara
bagnara at cs.unipr.it
Sat Feb 19 17:23:24 CET 2011
Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: b5f908a06039beadb562622c349e46839f8f6894
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f908a06039beadb562622c349e46839f8f6894
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Sat Feb 19 17:22:54 2011 +0100
Further changes for PPL 0.11.1.
---
doc/libppl.3 | 6 +++---
doc/libppl_c.3 | 14 +++++++-------
doc/ppl-config_extra_man_text | 10 +++++-----
3 files changed, 15 insertions(+), 15 deletions(-)
diff --git a/doc/libppl.3 b/doc/libppl.3
index 1c3d353..10ecc9a 100644
--- a/doc/libppl.3
+++ b/doc/libppl.3
@@ -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.11)"
+.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)"
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.11)",
+.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)",
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.11)",
+.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)",
available (in several formats) at
\fBhttp://www.cs.unipr.it/ppl/\fR .
.sp
diff --git a/doc/libppl_c.3 b/doc/libppl_c.3
index d3f338d..fab6359 100644
--- a/doc/libppl_c.3
+++ b/doc/libppl_c.3
@@ -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.11)"
+.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)"
and
-.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)"
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)"
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.11)"
+.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)"
and
-.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11)"
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)"
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.11)"
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)"
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.11)",
+.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)",
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.11)",
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)",
available (in several formats) at
\fBhttp://www.cs.unipr.it/ppl/\fR .
.sp
diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text
index c003047..4d05986 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.11)",
+.IR "The Parma Polyhedra Library User's Manual (version 0.11.1)",
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.11)",
+.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.11.1)",
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.11)",
+.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 0.11.1)",
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.11)",
+.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 0.11.1)",
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.11)",
+.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 0.11.1)",
available (in several formats) at
\fBhttp://www.cs.unipr.it/ppl/\fR .
More information about the PPL-devel
mailing list