March 2012 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: 8df2fd42dd3c1fac0bd9d19b08c617d536c62545 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8df2fd42dd3c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:38:52 2012 +0100 Updated. --- src/version.cc | 24 +++++++++++++----------- 1 files changed, 13 insertions(+), 11 deletions(-) diff --git a/src/version.cc b/src/version.cc index 8a82688..fbfc395 100644 --- a/src/version.cc +++ b/src/version.cc @@ -33,6 +33,7 @@ const char version_string[] = PPL_PACKAGE_VERSION; const char banner_string[] = "This is "PPL_PACKAGE_NAME" (PPL) version "PPL_PACKAGE_VERSION".\n" "Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it>\n" +"Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)\n" "\n" "The PPL is free software; see the source for copying conditions.\n" "There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A\n" @@ -57,21 +58,22 @@ const char banner_string[] = "see the Parma Polyhedra Library site: http://bugseng.com/products/ppl/ .\n" "\n" "Contributors:\n" -"Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Elisa Ricci,\n" -"Abramo Bagnara, Andrea Cimino, Katy Dobson, Elena Mazzi,\n" -"Matthew Mundell, Barbara Quartieri, Enric Rodriguez Carbonell,\n" -"Alessandro Zaccagnini,\n" -"Irene Bacchi, Danilo Bonardi, Sara Bonini, Giordano Fracasso,\n" -"Maximiliano Marchesi, David Merchat, Andrea Pescetti, Angela Stazzone,\n" -"Fabio Trabucchi, Claudio Trento, Tatiana Zolo.\n" +"Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Abramo Bagnara,\n" +"Elisa Ricci, Andrea Cimino, Marco Poletti, Alessandro Zaccagnini,\n" +"Roberto Amadini, Irene Bacchi, Fabio Biselli, Fabio Bossi,\n" +"Danilo Bonardi, Sara Bonini, Katy Dobson, Giordano Fracasso,\n" +"Francois Galea, Maximiliano Marchesi, Elena Mazzi, David Merchat,\n" +"Matthew Mundell, Andrea Pescetti, Barbara Quartieri,\n" +"Enric Rodriguez Carbonell, Angela Stazzone, Fabio Trabucchi,\n" +"Claudio Trento, Tatiana Zolo.\n" "\n" "Special thanks to:\n" "Lucia Alessandrini, Frederic Besson, Tevfik Bultan, Manuel Carro,\n" "Marco Comini, Goran Frehse, Denis Gopan, Martin Guy, Bruno Haible,\n" -"Bertrand Jeannet, Herve Le Verge, Francesco Logozzo, Costantino Medori,\n" -"Fred Mesnard, Ken Mixter, Jose Morales, Sebastian Pop, Thomas Reps,\n" -"Mooly Sagiv, Sriram Sankaranarayanan, Axel Simon, Fausto Spoto,\n" -"Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues."; +"Bertrand Jeannet, Herve Le Verge, Francesco Logozzo, Kenneth MacKenzie,\n" +"Costantino Medori, Fred Mesnard, Ken Mixter, Jose Morales, Sebastian Pop,\n" +"Thomas Reps, Mooly Sagiv, Sriram Sankaranarayanan, Axel Simon,\n" +"Fausto Spoto, Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues."; } // namespace

1 0

[GIT] ppl/ppl(master): URL fixed.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: 0b865bbd536bfa982521884c328130821a4acd03 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0b865bbd536b… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:23:18 2012 +0100 URL fixed. --- doc/definitions.dox | 2 +- interfaces/Prolog/Prolog_interface_compilation.dox | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index dd49475..8aa3379 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -24,7 +24,7 @@ // Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. // // For the most up-to-date information see the Parma Polyhedra Library -// site: http://bugseng.com/products/ppl/ +// site: http://bugseng.com/products/ppl/ . /*! \defgroup PPL_CXX_interface C++ Language Interface diff --git a/interfaces/Prolog/Prolog_interface_compilation.dox b/interfaces/Prolog/Prolog_interface_compilation.dox index 0448175..df1e591 100644 --- a/interfaces/Prolog/Prolog_interface_compilation.dox +++ b/interfaces/Prolog/Prolog_interface_compilation.dox @@ -24,7 +24,7 @@ // Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. // // For the most up-to-date information see the Parma Polyhedra Library -// site: http://bugseng.com/ppl/ +// site: http://bugseng.com/products/ppl/ . /*! \page PI_Compilation Compilation and Installation

1 0

[GIT] ppl/ppl(master): Indentation fixed.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: 04b8e3abd9df81633f50fef5c8dfa2b625916379 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=04b8e3abd9df… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 09:18:56 2012 +0100 Indentation fixed. --- doc/definitions.dox | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index ace0fb4..dd49475 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -19,9 +19,9 @@ // FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License // for more details. // -// If you have not received a copy of one or both the above mentioned -// licenses along with the PPL, write to the Free Software Foundation, -// Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. +// If you have not received a copy of one or both the above mentioned +// licenses along with the PPL, write to the Free Software Foundation, +// Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. // // For the most up-to-date information see the Parma Polyhedra Library // site: http://bugseng.com/products/ppl/

1 0

[GIT] ppl/ppl(master): Cleaned.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: d15a56a55b9aeb58ac25c7559f5218fcd892a138 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d15a56a55b9a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:35:10 2012 +0100 Cleaned. --- interfaces/Prolog/tests/clpq2.pl | 8 ++------ 1 files changed, 2 insertions(+), 6 deletions(-) diff --git a/interfaces/Prolog/tests/clpq2.pl b/interfaces/Prolog/tests/clpq2.pl index bdc3e13..2a7ae82 100644 --- a/interfaces/Prolog/tests/clpq2.pl +++ b/interfaces/Prolog/tests/clpq2.pl @@ -375,13 +375,9 @@ list_program :- list_program. pp(Head, Body) :- - % write(Head), (Body == true -> - % write('.') portray_clause(Head) ; - % write(' :- '), - % write(Body) portray_clause((Head :- Body)) ), nl. @@ -499,8 +495,6 @@ write_expr('$VAR'(N), Var_List, VN) :- write('_'), write('$VAR'(N)) ). -%write_expr('$VAR'(N), Variable_Names) :- -% write_var('$VAR'(N), Variable_Names). write_expr(Num*Var, Variable_Names, VN) :- (Num =:= 1 -> true @@ -692,10 +686,12 @@ constraints_to_list(C, Rest, Rest1) :- Rest1 = [0 = 1] ). + % term_to_PPL_term(?Term, +In_N, ?Out_N) % % Unifies each of the variables in Term with the special terms % '$VAR'(k), where k ranges from In_N to Out_N-1. + term_to_PPL_term('$VAR'(In_N), In_N, Out_N) :- !, Out_N is In_N + 1.

1 0

[GIT] ppl/ppl(master): Copyright wording fixed.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: c381f0e1e261eda0de1f6b23fd9ec86579891ea0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c381f0e1e261… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:23:08 2012 +0100 Copyright wording fixed. --- README | 2 +- README.alpha | 2 +- README.arm | 2 +- README.configure | 2 +- README.solaris | 2 +- STANDARDS | 2 +- tests/README | 2 +- 7 files changed, 7 insertions(+), 7 deletions(-) diff --git a/README b/README index f727bd0..46d349d 100644 --- a/README +++ b/README @@ -1715,7 +1715,7 @@ ppl-0.12 Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -This file is part of the Parma Polyhedra Library (PPL). +This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 diff --git a/README.alpha b/README.alpha index d0af55e..5e9e6fa 100644 --- a/README.alpha +++ b/README.alpha @@ -30,7 +30,7 @@ should probably not worry. Your mileage may vary... Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -This file is part of the Parma Polyhedra Library (PPL). +This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 diff --git a/README.arm b/README.arm index 47b0d1e..18e2bad 100644 --- a/README.arm +++ b/README.arm @@ -25,7 +25,7 @@ For example: Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -This file is part of the Parma Polyhedra Library (PPL). +This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 diff --git a/README.configure b/README.configure index 9cd4eb4..0db4546 100644 --- a/README.configure +++ b/README.configure @@ -452,7 +452,7 @@ you cannot explain otherwise, use `autoreconf -f'. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -This file is part of the Parma Polyhedra Library (PPL). +This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 diff --git a/README.solaris b/README.solaris index 9e1aafb..ead4a76 100644 --- a/README.solaris +++ b/README.solaris @@ -21,7 +21,7 @@ This is recommended, even if only the C++ language interface is used. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -This file is part of the Parma Polyhedra Library (PPL). +This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 diff --git a/STANDARDS b/STANDARDS index 285e835..ea09010 100644 --- a/STANDARDS +++ b/STANDARDS @@ -710,7 +710,7 @@ o Ideally the tests should exercise every line of code in the library. Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -This file is part of the Parma Polyhedra Library (PPL). +This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 diff --git a/tests/README b/tests/README index 9a81a45..c26fdc9 100644 --- a/tests/README +++ b/tests/README @@ -88,7 +88,7 @@ f) Run `mytest' and enjoy! Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -This file is part of the Parma Polyhedra Library (PPL). +This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2

1 0

[GIT] ppl/ppl(master): Updated two spurious references to FDL 1.1.
by Roberto Bagnara 18 Mar '12

18 Mar '12

Module: ppl/ppl Branch: master Commit: a0cae23e138a1371ad757f8db2c2dce5c7a79911 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0cae23e138a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Mar 18 08:12:19 2012 +0100 Updated two spurious references to FDL 1.1. --- doc/definitions.dox | 2 +- interfaces/Prolog/Prolog_interface_compilation.dox | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 05d11ef..ace0fb4 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -4,7 +4,7 @@ // This document describes the Parma Polyhedra Library (PPL). // // Permission is granted to copy, distribute and/or modify this document -// under the terms of the GNU Free Documentation License, Version 1.1 or +// under the terms of the GNU Free Documentation License, Version 1.2 or // any later version published by the Free Software Foundation; with no // Invariant Sections, with no Front-Cover Texts, and with no Back-Cover // Texts. diff --git a/interfaces/Prolog/Prolog_interface_compilation.dox b/interfaces/Prolog/Prolog_interface_compilation.dox index ba49851..0448175 100644 --- a/interfaces/Prolog/Prolog_interface_compilation.dox +++ b/interfaces/Prolog/Prolog_interface_compilation.dox @@ -4,7 +4,7 @@ // This document describes the Parma Polyhedra Library (PPL). // // Permission is granted to copy, distribute and/or modify this document -// under the terms of the GNU Free Documentation License, Version 1.1 or +// under the terms of the GNU Free Documentation License, Version 1.2 or // any later version published by the Free Software Foundation; with no // Invariant Sections, with no Front-Cover Texts, and with no Back-Cover // Texts.

1 0

[GIT] ppl/ppl(master): Use a consistent formatting.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: de17663ee4f66cdc356bc097aa15067ed5d9724e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de17663ee4f6… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 19:04:01 2012 +0100 Use a consistent formatting. --- README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- doc/README.doc | 4 ++-- tests/README | 4 ++-- 8 files changed, 16 insertions(+), 16 deletions(-) diff --git a/README b/README index 3998eda..f727bd0 100644 --- a/README +++ b/README @@ -1718,8 +1718,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; +under the terms of the GNU Free Documentation License, Version 1.2 +or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files named `fdl.*'. diff --git a/README.alpha b/README.alpha index 90c5b3a..d0af55e 100644 --- a/README.alpha +++ b/README.alpha @@ -33,8 +33,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; +under the terms of the GNU Free Documentation License, Version 1.2 +or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files named `fdl.*'. diff --git a/README.arm b/README.arm index 4030416..47b0d1e 100644 --- a/README.arm +++ b/README.arm @@ -28,8 +28,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; +under the terms of the GNU Free Documentation License, Version 1.2 +or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files named `fdl.*'. diff --git a/README.configure b/README.configure index a1cb730..9cd4eb4 100644 --- a/README.configure +++ b/README.configure @@ -455,8 +455,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; +under the terms of the GNU Free Documentation License, Version 1.2 +or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files named `fdl.*'. diff --git a/README.solaris b/README.solaris index b5ee079..9e1aafb 100644 --- a/README.solaris +++ b/README.solaris @@ -24,8 +24,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; +under the terms of the GNU Free Documentation License, Version 1.2 +or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files named `fdl.*'. diff --git a/STANDARDS b/STANDARDS index ec218ed..285e835 100644 --- a/STANDARDS +++ b/STANDARDS @@ -713,8 +713,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; +under the terms of the GNU Free Documentation License, Version 1.2 +or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files named `fdl.*'. diff --git a/doc/README.doc b/doc/README.doc index 8340cff..9799abf 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -141,8 +141,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; +under the terms of the GNU Free Documentation License, Version 1.2 +or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files named `fdl.*'. diff --git a/tests/README b/tests/README index 7702cf6..9a81a45 100644 --- a/tests/README +++ b/tests/README @@ -91,8 +91,8 @@ Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document -under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; +under the terms of the GNU Free Documentation License, Version 1.2 +or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files named `fdl.*'.

1 0

[GIT] ppl/ppl(master): Wording fixed/improved.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: fe5d848085853879f7cd1ea18f41715bd1496ff0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5d84808585… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:57:49 2012 +0100 Wording fixed/improved. --- README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- doc/README.doc | 4 ++-- doc/devref-language-interface.tex | 4 ++-- doc/devref.tex | 4 ++-- doc/user-language-interface.tex | 4 ++-- doc/user.tex | 4 ++-- tests/README | 4 ++-- 12 files changed, 24 insertions(+), 24 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fe5d8480…

1 0

[GIT] ppl/ppl(master): Blank line added.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: ca4e7f70b1c242d8012926dc4445789522e1807c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca4e7f70b1c2… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:45:30 2012 +0100 Blank line added. --- doc/README.doc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/doc/README.doc b/doc/README.doc index cb62016..1faf506 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -2,6 +2,7 @@ Copyright (C) 2001-2010 Roberto Bagnara <bagnara(a)cs.unipr.it> Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) See below for the copying conditions. + How To Get (More) PPL Documentation ===================================

1 0

[GIT] ppl/ppl(master): Use consistent formatting for the FDL.
by Roberto Bagnara 17 Mar '12

17 Mar '12

Module: ppl/ppl Branch: master Commit: 0aaaf32d0d703a0a6744bc0b4dee276108d8ce1a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0aaaf32d0d70… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Mar 17 18:23:27 2012 +0100 Use consistent formatting for the FDL. --- README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- doc/README.doc | 4 ++-- tests/README | 4 ++-- 8 files changed, 16 insertions(+), 16 deletions(-) diff --git a/README b/README index 079e65a..354fea1 100644 --- a/README +++ b/README @@ -1719,8 +1719,8 @@ This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no -Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +any later version published by the Free Software Foundation; +with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files called `fdl.*'. diff --git a/README.alpha b/README.alpha index 64f9985..8ba94f9 100644 --- a/README.alpha +++ b/README.alpha @@ -34,8 +34,8 @@ This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no -Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +any later version published by the Free Software Foundation; +with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files called `fdl.*'. diff --git a/README.arm b/README.arm index ee5f8fa..e50c230 100644 --- a/README.arm +++ b/README.arm @@ -29,8 +29,8 @@ This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no -Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +any later version published by the Free Software Foundation; +with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files called `fdl.*'. diff --git a/README.configure b/README.configure index 6987360..03bbc86 100644 --- a/README.configure +++ b/README.configure @@ -456,8 +456,8 @@ This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no -Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +any later version published by the Free Software Foundation; +with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files called `fdl.*'. diff --git a/README.solaris b/README.solaris index 3e57785..233517c 100644 --- a/README.solaris +++ b/README.solaris @@ -25,8 +25,8 @@ This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no -Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +any later version published by the Free Software Foundation; +with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files called `fdl.*'. diff --git a/STANDARDS b/STANDARDS index ead4b48..09a1262 100644 --- a/STANDARDS +++ b/STANDARDS @@ -714,8 +714,8 @@ This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no -Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +any later version published by the Free Software Foundation; +with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files called `fdl.*'. diff --git a/doc/README.doc b/doc/README.doc index 5e76f3d..cb62016 100644 --- a/doc/README.doc +++ b/doc/README.doc @@ -141,8 +141,8 @@ This document describes the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no -Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +any later version published by the Free Software Foundation; +with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files called `fdl.*'. diff --git a/tests/README b/tests/README index 1f70cb0..a2e7643 100644 --- a/tests/README +++ b/tests/README @@ -92,8 +92,8 @@ This file is part of the Parma Polyhedra Library (PPL). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with no -Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +any later version published by the Free Software Foundation; +with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. The license is included, in various formats, in the `doc' subdirectory of each distribution of the PPL in files called `fdl.*'.

1 0