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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 2 08:51:05 2011 +0200

Updated.

---

htdocs/Bugs/Bugs.raw | 30 +++++++++++++++--------------- 1 files changed, 15 insertions(+), 15 deletions(-)

diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index 92e35dd..eea4a99 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -30,14 +30,26 @@ to read <A HREF="http://www.chiark.greenend.org.uk/~sgtatham/bugs.html">How to Report Bugs Effectively</A>, by Simon Tatham.

-<H2>Known Bugs in PPL 0.11</H2> +<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 0.10.2 +<!-- Here is the list of all the known bugs in PPL 0.11.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. There is also an <A HREF="archive">archive</A> of all known bugs -affecting various releases of the PPL. +affecting various releases of the PPL. --> + + +<H2>Known Bugs in PPL 0.11</H2> + +Here is the list of all the known bugs in PPL 0.11 +(even though it is <EM>likely</EM> that there are other bugs in it). +All these bugs have been fixed in PPL 0.11.2.

<DL>

@@ -147,15 +159,3 @@ Relevant commit is <A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git; </DD>

</DL> - - -<!-- - -<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. - --->