[PPL-devel] [GIT] ppl/w3ppl(master): Mention the bug affecting drop_disjunct in some language interfaces.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Mar 22 11:51:01 2009 +0100

Mention the bug affecting drop_disjunct in some language interfaces.

---

 htdocs/Bugs/Bugs.raw    |    9 +++++++++
 htdocs/Bugs/archive.raw |    9 +++++++++
 2 files changed, 18 insertions(+), 0 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw
index a406608..88b5e84 100644
--- a/htdocs/Bugs/Bugs.raw
+++ b/htdocs/Bugs/Bugs.raw
@@ -50,6 +50,15 @@ affecting various releases of the PPL.
 
 <DL>
 
+<DT><STRONG>March 22, 2009</STRONG></DT>
+<DD>
+Found a bug affecting the Java, OCaml and Prolog language interfaces
+whereby the method/function/predicate for dropping a disjunct from
+a Pointset_Powerset object were returning an invalid iterator.
+The bug has been corrected in the git master branch
+(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2ca605dfc27ce5f1a923eb867ed25">6a6734db48e2ca605dfc27ce5f1a923eb867ed25</A>).
+</DD>
+
 <DT><STRONG>February 3, 2009</STRONG></DT>
 <DD>
 Found a bug affecting PPL 0.10 and the CVS head version
diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw
index 317b749..7bffb9f 100644
--- a/htdocs/Bugs/archive.raw
+++ b/htdocs/Bugs/archive.raw
@@ -10,6 +10,15 @@ for various versions of the PPL.
 
 <DL>
 
+<DT><STRONG>March 22, 2009</STRONG></DT>
+<DD>
+Found a bug affecting the Java, OCaml and Prolog language interfaces
+whereby the method/function/predicate for dropping a disjunct from
+a Pointset_Powerset object were returning an invalid iterator.
+The bug has been corrected in the git master branch
+(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a6734db48e2ca605dfc27ce5f1a923eb867ed25">6a6734db48e2ca605dfc27ce5f1a923eb867ed25</A>).
+</DD>
+
 <DT><STRONG>February 3, 2009</STRONG></DT>
 <DD>
 Found a bug affecting PPL 0.10 and the CVS head version