Module: ppl/ppl Branch: master Commit: 4d6c6db0470eb60cecbbed0a43a2b08d8539e95f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d6c6db0470eb...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jan 1 16:36:10 2010 +0100
Extended copyright years.
---
Watchdog/doc/devref.tex | 2 +- Watchdog/doc/user.tex | 2 +- debian/libppl-pwl.copyright.in | 2 +- debian/libppl.copyright.in | 2 +- demos/ppl_lcdd/ppl_lcdd.1 | 2 +- demos/ppl_lcdd/ppl_lcdd_extra_man_text | 2 +- demos/ppl_lpsol/ppl_lpsol.1 | 2 +- demos/ppl_lpsol/ppl_lpsol_extra_man_text | 2 +- doc/devref-language-interface.tex | 2 +- doc/devref.tex | 2 +- doc/libppl.3 | 2 +- doc/libppl_c.3 | 2 +- doc/ppl-config.1 | 2 +- doc/ppl-config_extra_man_text | 2 +- doc/user-language-interface.tex | 2 +- doc/user.tex | 2 +- 16 files changed, 16 insertions(+), 16 deletions(-)
diff --git a/Watchdog/doc/devref.tex b/Watchdog/doc/devref.tex index 2b1a9c4..c22e932 100644 --- a/Watchdog/doc/devref.tex +++ b/Watchdog/doc/devref.tex @@ -85,7 +85,7 @@ Roberto Bagnara\thanks{bagnara@cs.unipr.it, \maketitle
\newpage -Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara@cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@cs.unipr.it).
This document describes the Parma Watchdog Library (PWL).
diff --git a/Watchdog/doc/user.tex b/Watchdog/doc/user.tex index 143bce8..7c91c30 100644 --- a/Watchdog/doc/user.tex +++ b/Watchdog/doc/user.tex @@ -85,7 +85,7 @@ Roberto Bagnara\thanks{bagnara@cs.unipr.it, \maketitle
\newpage -Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara@cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@cs.unipr.it).
This document describes the Parma Watchdog Library (PWL).
diff --git a/debian/libppl-pwl.copyright.in b/debian/libppl-pwl.copyright.in index 0d25a1e..ad3b329 100644 --- a/debian/libppl-pwl.copyright.in +++ b/debian/libppl-pwl.copyright.in @@ -20,7 +20,7 @@ Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits for the complete list of authors.
-Copyright: 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright: 2001-2010 Roberto Bagnara bagnara@cs.unipr.it
The PPL is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/debian/libppl.copyright.in b/debian/libppl.copyright.in index 0d25a1e..ad3b329 100644 --- a/debian/libppl.copyright.in +++ b/debian/libppl.copyright.in @@ -20,7 +20,7 @@ Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits for the complete list of authors.
-Copyright: 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright: 2001-2010 Roberto Bagnara bagnara@cs.unipr.it
The PPL is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the diff --git a/demos/ppl_lcdd/ppl_lcdd.1 b/demos/ppl_lcdd/ppl_lcdd.1 index bea9cad..eca179f 100644 --- a/demos/ppl_lcdd/ppl_lcdd.1 +++ b/demos/ppl_lcdd/ppl_lcdd.1 @@ -50,7 +50,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command .SH "REPORTING BUGS" Report bugs to <ppl-devel@cs.unipr.it>. .SH COPYRIGHT -Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it .br This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to diff --git a/demos/ppl_lcdd/ppl_lcdd_extra_man_text b/demos/ppl_lcdd/ppl_lcdd_extra_man_text index c3d6891..1aeae74 100644 --- a/demos/ppl_lcdd/ppl_lcdd_extra_man_text +++ b/demos/ppl_lcdd/ppl_lcdd_extra_man_text @@ -8,7 +8,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command \fBppl-config --credits\fR for a list of contributors.
[COPYRIGHT] -Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it .br This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to diff --git a/demos/ppl_lpsol/ppl_lpsol.1 b/demos/ppl_lpsol/ppl_lpsol.1 index a9c3465..8c239dd 100644 --- a/demos/ppl_lpsol/ppl_lpsol.1 +++ b/demos/ppl_lpsol/ppl_lpsol.1 @@ -84,7 +84,7 @@ The options \fB-CSECS\fR (\fB--max-cpu\fR=\fISECS\fR) and See the file \fBCREDITS\fR in the source distribution or use the command \fBppl-config --credits\fR for a list of contributors. .SH COPYRIGHT -Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it .br This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to diff --git a/demos/ppl_lpsol/ppl_lpsol_extra_man_text b/demos/ppl_lpsol/ppl_lpsol_extra_man_text index ddc144b..f8e369a 100644 --- a/demos/ppl_lpsol/ppl_lpsol_extra_man_text +++ b/demos/ppl_lpsol/ppl_lpsol_extra_man_text @@ -8,7 +8,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command \fBppl-config --credits\fR for a list of contributors.
[COPYRIGHT] -Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it .br This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 5734775..f3366be 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -100,7 +100,7 @@ Enea Zaffanella\thanks{zaffanella@cs.unipr.it, \maketitle
\newpage -Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara@cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/devref.tex b/doc/devref.tex index 02f5311..7ebb796 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -109,7 +109,7 @@ Tatiana Zolo \maketitle
\newpage -Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara@cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/libppl.3 b/doc/libppl.3 index 3802b95..0ff3e52 100644 --- a/doc/libppl.3 +++ b/doc/libppl.3 @@ -217,7 +217,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command Report bugs to <ppl-devel@cs.unipr.it>.
.SH COPYRIGHT -Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it .br This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to diff --git a/doc/libppl_c.3 b/doc/libppl_c.3 index 051c89e..d48f19d 100644 --- a/doc/libppl_c.3 +++ b/doc/libppl_c.3 @@ -153,7 +153,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command Report bugs to <ppl-devel@cs.unipr.it>.
.SH COPYRIGHT -Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it .br This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to diff --git a/doc/ppl-config.1 b/doc/ppl-config.1 index 8c50b2f..f876a64 100644 --- a/doc/ppl-config.1 +++ b/doc/ppl-config.1 @@ -104,7 +104,7 @@ Report bugs to <ppl-devel@cs.unipr.it>. .SH "REPORTING BUGS" Report bugs to <ppl-devel@cs.unipr.it>. .SH COPYRIGHT -Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it .br This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to diff --git a/doc/ppl-config_extra_man_text b/doc/ppl-config_extra_man_text index 32e2e11..f5203f2 100644 --- a/doc/ppl-config_extra_man_text +++ b/doc/ppl-config_extra_man_text @@ -40,7 +40,7 @@ See the file \fBCREDITS\fR in the source distribution or use the command Report bugs to <ppl-devel@cs.unipr.it>.
[COPYRIGHT] -Copyright (C) 2001-2009 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it .br This is free software; see the file \fBCOPYING\fR in the source distribution or use the command \fBppl-config --copying\fR to diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index 12e3aca..3d84027 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -100,7 +100,7 @@ Enea Zaffanella\thanks{zaffanella@cs.unipr.it, \maketitle
\newpage -Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara@cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).
diff --git a/doc/user.tex b/doc/user.tex index 5536465..3c2a50c 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -109,7 +109,7 @@ Tatiana Zolo \maketitle
\newpage -Copyright \copyright\ 2001--2009 Roberto Bagnara (bagnara@cs.unipr.it). +Copyright \copyright\ 2001--2010 Roberto Bagnara (bagnara@cs.unipr.it).
This document describes the Parma Polyhedra Library (PPL).