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

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