[PPL-devel] [GIT] ppl/ppl(master): Both GNU Prolog 1.3.0 and GNU Prolog 1.3. 1 have bugs that affect the PPL.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr 15 17:39:08 2010 +0200

Both GNU Prolog 1.3.0 and GNU Prolog 1.3.1 have bugs that affect the PPL.

---

 interfaces/Prolog/GNU/README.gprolog |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/GNU/README.gprolog b/interfaces/Prolog/GNU/README.gprolog
index 32d814a..4acb035 100644
--- a/interfaces/Prolog/GNU/README.gprolog
+++ b/interfaces/Prolog/GNU/README.gprolog
@@ -1,7 +1,7 @@
 The GNU Prolog interface to the Parma Polyhedra Library (PPL)
 is available both as a PPL-enhanced GNU Prolog interpreter and as a
 library that can be linked to GNU Prolog programs.  Only GNU Prolog
-version 1.3.0 and later versions are supported.
+version 1.3.2(20100322) and later versions are supported.
 
 So that it can be used with the GNU Prolog PPL interface (and, for
 that matter, with any foreign code), the GNU Prolog installation must