[PPL-devel] [GIT] ppl/w3ppl(master): Updated.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at 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 at .
+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 at .
-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.
-
--->