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

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr 16 11:12:49 2009 +0200

Small improvements.

---

 htdocs/Bugs/archive.raw |   21 ++++++++++++---------
 1 files changed, 12 insertions(+), 9 deletions(-)

diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw
index 38317cd..b7a7157 100644
--- a/htdocs/Bugs/archive.raw
+++ b/htdocs/Bugs/archive.raw
@@ -12,25 +12,28 @@ for various versions of the PPL.
 
 <DT><STRONG>April 16, 2009</STRONG></DT>
 <DD>
-Fixed a bug whereby build commands <CODE>make -n</CODE> and
-<CODE>make -n check</CODE> were not working as expected
+Fixed a bug whereby <CODE>make -n</CODE> (possibly followed by
+one or more make targets) was not working as expected
 (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc491e2057c5da89b777ab61377df240">d5c7c849dc491e2057c5da89b777ab61377df240</A>).
 </DD>
 
 <DT><STRONG>April 15, 2009</STRONG></DT>
 <DD>
 Fixed a bug in the Libtool version information for the C language interface
-library, which causes library <CODE>libppl_c</CODE> to be installed with
-a wrong soname (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1564dc761a0a1dcc528d8c2c4915b">18ff016b92d1564dc761a0a1dcc528d8c2c4915b</A>).
+library, which caused the <CODE>libppl_c</CODE> library to be installed with
+a wrong soname
+(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1564dc761a0a1dcc528d8c2c4915b">18ff016b92d1564dc761a0a1dcc528d8c2c4915b</A>).
 </DD>
 
 <DT><STRONG>April 15, 2009</STRONG></DT>
 <DD>
-Modified the configuration script so as to correctly detect
-version 4.3.0 of GMP (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2dea09e57ea22a240c2f3eab8be9e5">5596eca02f2dea09e57ea22a240c2f3eab8be9e5</A>).
-Note: strictly speaking, this is not a PPL bug, since GMP 4.3.0 (released
-a few hours <EM>after</EM> the release of PPL 0.10.1) includes a
-backward-incompatible change to variable <CODE>gmp_version</CODE>.
+Modified the configuration script so as to correctly detect version
+4.3.0 of GMP
+(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2dea09e57ea22a240c2f3eab8be9e5">5596eca02f2dea09e57ea22a240c2f3eab8be9e5</A>).
+Note: strictly speaking, this is not a PPL bug, since GMP 4.3.0
+(released a few hours <EM>after</EM> the release of PPL 0.10.1)
+includes a backward-incompatible change to variable
+<CODE>gmp_version</CODE>.
 </DD>
 
 </DL>