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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 3 09:04:24 2010 +0200

There are no known bugs in PPL 0.11.

---

htdocs/Bugs/Bugs.raw | 7 +++---- 1 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index 4b2bd94..727d624 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -32,16 +32,14 @@ to Report Bugs Effectively</A>, by Simon Tatham.

<H2>Known Bugs in PPL @PPL_VERSION@</H2>

-<!-- - There are no known bugs in PPL @PPL_VERSION@. We will list here all the bugs we will find. There is also an <A HREF="archive">archive</A> of all known bugs affecting various releases of the PPL.

---> +<!--

-Here is the list of all the known bugs in PPL @PPL_VERSION@ +Here is the list of all the known bugs in PPL 0.10.2 (even though it is <EM>likely</EM> that there are other bugs in it). For each bug, it is explicitly reported whether or not it has already been corrected in the head revision of some Git branch. @@ -73,3 +71,4 @@ Relevant commit is

</DL>

+-->