[PPL-devel] [GIT] ppl/ppl(master): Fixed licenses text.
Abramo Bagnara
abramo.bagnara at gmail.com
Tue Mar 13 18:18:41 CET 2012
Module: ppl/ppl
Branch: master
Commit: cca8637a572ebcf456d4b65268a2947d22e93dd9
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cca8637a572ebcf456d4b65268a2947d22e93dd9
Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date: Tue Mar 13 18:18:17 2012 +0100
Fixed licenses text.
---
README.configure | 2 +-
demos/ppl_lpsol/glpk_set_d_eps.c | 1 -
.../ppl_interface_generator_java_test_java_code.m4 | 1 +
interfaces/Prolog/Prolog_configured_interface.dox | 2 +-
interfaces/Prolog/Prolog_interface.dox | 2 +-
interfaces/Prolog/Prolog_interface_sysdep.dox | 2 +-
interfaces/Prolog/Prolog_interface_sysindep.dox | 2 +-
.../Prolog/Prolog_interface_sysindep_domains.dox | 2 +-
.../Prolog/ppl_interface_generator_prolog_dox.m4 | 2 +-
tests/Concrete_Expression/linearize.cc | 2 +-
tests/Grid/Makefile.am | 5 ++---
tests/Partially_Reduced_Product/Makefile.am | 5 ++---
tests/Powerset/Makefile.am | 5 ++---
tests/README | 3 ++-
14 files changed, 17 insertions(+), 19 deletions(-)
diff --git a/README.configure b/README.configure
index f542911..f4f118e 100644
--- a/README.configure
+++ b/README.configure
@@ -466,7 +466,7 @@ under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 3 of the License, or (at your
option) any later version. The license is included, in various
formats, in the `doc' subdirectory of each distribution of the PPL in
-files are called `gpl.*'.
+files called `gpl.*'.
The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
diff --git a/demos/ppl_lpsol/glpk_set_d_eps.c b/demos/ppl_lpsol/glpk_set_d_eps.c
index fcf976f..638c8b7 100644
--- a/demos/ppl_lpsol/glpk_set_d_eps.c
+++ b/demos/ppl_lpsol/glpk_set_d_eps.c
@@ -7,7 +7,6 @@
Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
-
This file is part of the Parma Polyhedra Library (PPL).
The PPL is free software; you can redistribute it and/or modify it
diff --git a/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4 b/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4
index 182ca24..dc71a8f 100644
--- a/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4
+++ b/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4
@@ -12,6 +12,7 @@ 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
Free Software Foundation; either version 3 of the License, or (at your
option) any later version.
+
The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
diff --git a/interfaces/Prolog/Prolog_configured_interface.dox b/interfaces/Prolog/Prolog_configured_interface.dox
index 79d7bf2..1480f17 100644
--- a/interfaces/Prolog/Prolog_configured_interface.dox
+++ b/interfaces/Prolog/Prolog_configured_interface.dox
@@ -19,7 +19,7 @@ along with this program; if not, 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/ppl/ . */
+site: http://bugseng.com/products/ppl/ . */
/*!
\defgroup PPL_Prolog_interface Prolog Language Interface
diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox
index bbf350b..11aeaa4 100644
--- a/interfaces/Prolog/Prolog_interface.dox
+++ b/interfaces/Prolog/Prolog_interface.dox
@@ -19,7 +19,7 @@ along with this program; if not, 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/ppl/ . */
+site: http://bugseng.com/products/ppl/ . */
/*!
\defgroup PPL_Prolog_interface Prolog Language Interface
diff --git a/interfaces/Prolog/Prolog_interface_sysdep.dox b/interfaces/Prolog/Prolog_interface_sysdep.dox
index 417088e..2472e0a 100644
--- a/interfaces/Prolog/Prolog_interface_sysdep.dox
+++ b/interfaces/Prolog/Prolog_interface_sysdep.dox
@@ -19,7 +19,7 @@ along with this program; if not, 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/ppl/ . */
+site: http://bugseng.com/products/ppl/ . */
/*! \page PI_SD_Features Prolog Interface System-Dependent Features
diff --git a/interfaces/Prolog/Prolog_interface_sysindep.dox b/interfaces/Prolog/Prolog_interface_sysindep.dox
index f90ef98..9d10d31 100644
--- a/interfaces/Prolog/Prolog_interface_sysindep.dox
+++ b/interfaces/Prolog/Prolog_interface_sysindep.dox
@@ -19,7 +19,7 @@ along with this program; if not, 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/ppl/ . */
+site: http://bugseng.com/products/ppl/ . */
/*! \page PI_SI_Features System-Independent Features
diff --git a/interfaces/Prolog/Prolog_interface_sysindep_domains.dox b/interfaces/Prolog/Prolog_interface_sysindep_domains.dox
index cd85a24..a16eb14 100644
--- a/interfaces/Prolog/Prolog_interface_sysindep_domains.dox
+++ b/interfaces/Prolog/Prolog_interface_sysindep_domains.dox
@@ -19,7 +19,7 @@ along with this program; if not, 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/ppl/ . */
+site: http://bugseng.com/products/ppl/ . */
/*! \page domains_predicates Domains Predicates
diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4
index 174d27a..ca7f938 100644
--- a/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4
+++ b/interfaces/Prolog/ppl_interface_generator_prolog_dox.m4
@@ -23,7 +23,7 @@ dnl along with this program; if not, write to the Free Software Foundation,
dnl Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
dnl
dnl For the most up-to-date information see the Parma Polyhedra Library
-dnl site: http://bugseng.com/ppl/ .
+dnl site: http://bugseng.com/products/ppl/ .
dnl FIXME: This should be in the main m4 generator file.
diff --git a/tests/Concrete_Expression/linearize.cc b/tests/Concrete_Expression/linearize.cc
index 9d943e1..29dee84 100644
--- a/tests/Concrete_Expression/linearize.cc
+++ b/tests/Concrete_Expression/linearize.cc
@@ -4,7 +4,7 @@
This file is part of the Parma Polyhedra Library (PPL).
-The PPL is free software; you can redistribute it and/or moDif_FP_Expressiony 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
Free Software Foundation; either version 3 of the License, or (at your
option) any later version.
diff --git a/tests/Grid/Makefile.am b/tests/Grid/Makefile.am
index 8fc1ab1..acfb4d5 100644
--- a/tests/Grid/Makefile.am
+++ b/tests/Grid/Makefile.am
@@ -15,9 +15,8 @@
# for more details.
#
# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
-# USA.
+# along with this program; if not, 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/ .
diff --git a/tests/Partially_Reduced_Product/Makefile.am b/tests/Partially_Reduced_Product/Makefile.am
index 10a14f1..731141b 100644
--- a/tests/Partially_Reduced_Product/Makefile.am
+++ b/tests/Partially_Reduced_Product/Makefile.am
@@ -15,9 +15,8 @@
# for more details.
#
# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
-# USA.
+# along with this program; if not, 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/ .
diff --git a/tests/Powerset/Makefile.am b/tests/Powerset/Makefile.am
index df6075e..d750ccd 100644
--- a/tests/Powerset/Makefile.am
+++ b/tests/Powerset/Makefile.am
@@ -15,9 +15,8 @@
# for more details.
#
# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
-# USA.
+# along with this program; if not, 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/ .
diff --git a/tests/README b/tests/README
index 0870717..1f70cb0 100644
--- a/tests/README
+++ b/tests/README
@@ -86,6 +86,7 @@ f) Run `mytest' and enjoy!
--------
Copyright (C) 2001-2010 Roberto Bagnara <bagnara at cs.unipr.it>
+Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com)
This file is part of the Parma Polyhedra Library (PPL).
@@ -101,7 +102,7 @@ under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 3 of the License, or (at your
option) any later version. The license is included, in various
formats, in the `doc' subdirectory of each distribution of the PPL in
-files are called `gpl.*'.
+files called `gpl.*'.
The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
More information about the PPL-devel
mailing list