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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 09:44:42 2012 +0100

Use a canonical FDL text.

---

doc/definitions.dox | 46 +++++++++++--------- interfaces/Prolog/Prolog_interface_compilation.dox | 46 +++++++++++--------- 2 files changed, 50 insertions(+), 42 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox index 8aa3379..d0c2da4 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -1,30 +1,34 @@ -// Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it -// Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +// Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +// Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) // -// This document describes 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 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. +// 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. +// The license is included, in various formats, in the `doc' subdirectory +// of each distribution of the PPL in files named `fdl.*'. // -// 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 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 license is included, in various +// formats, in the `doc' subdirectory of each distribution of the PPL in +// files named `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 -// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -// for more details. +// 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 +// 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/ . +// For the most up-to-date information see the Parma Polyhedra Library +// 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 df1e591..d8a2dd5 100644 --- a/interfaces/Prolog/Prolog_interface_compilation.dox +++ b/interfaces/Prolog/Prolog_interface_compilation.dox @@ -1,30 +1,34 @@ -// Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it -// Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +// Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +// Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) // -// This document describes 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 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. +// 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. +// The license is included, in various formats, in the `doc' subdirectory +// of each distribution of the PPL in files named `fdl.*'. // -// 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 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 license is included, in various +// formats, in the `doc' subdirectory of each distribution of the PPL in +// files named `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 -// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -// for more details. +// 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 +// 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/ . +// For the most up-to-date information see the Parma Polyhedra Library +// site: http://bugseng.com/products/ppl/ . +

/*! \page PI_Compilation Compilation and Installation