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

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