Module: ppl/ppl Branch: ppl-0_10-branch Commit: 1bd0dba00f786220d773edba1b9a09c591056aab URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bd0dba00f786...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 16 12:10:11 2009 +0200
Version numbers fixed.
---
doc/libppl.3 | 6 +++--- doc/libppl_c.3 | 14 +++++++------- 2 files changed, 10 insertions(+), 10 deletions(-)
diff --git a/doc/libppl.3 b/doc/libppl.3 index ee86159..c997935 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.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" 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.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", 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.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .sp diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index 2013695..9d6b7e1 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.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" and -.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)" 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.10)" +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)" and -.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)" 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.10)" +.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 0.10.2)" 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.10)", +.IR "The Parma Polyhedra Library User's Manual (version 0.10.2)", available (in several formats) at \fBhttp://www.cs.unipr.it/ppl/%5CfR . .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/%5CfR . .sp