Module: ppl/ppl Branch: master Commit: 0aaaf32d0d703a0a6744bc0b4dee276108d8ce1a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0aaaf32d0d703...

Author: Roberto Bagnara bagnara@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.*'.