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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:03:59 2012 +0100

Added missing paragraph.

---

interfaces/Prolog/Prolog_interface_compilation.dox | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-)

diff --git a/interfaces/Prolog/Prolog_interface_compilation.dox b/interfaces/Prolog/Prolog_interface_compilation.dox index dadb9db..ba49851 100644 --- a/interfaces/Prolog/Prolog_interface_compilation.dox +++ b/interfaces/Prolog/Prolog_interface_compilation.dox @@ -19,6 +19,10 @@ // 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. +// // For the most up-to-date information see the Parma Polyhedra Library // site: http://bugseng.com/ppl/