Module: ppl/w3ppl Branch: master Commit: 14734459339e9779d535121c07cab54a6fdda1e3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=14734459339... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Sat Jun 13 11:19:36 2009 +0100 Minor improvements to English. --- htdocs/news.raw | 2 +- htdocs/ppl.raw | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/htdocs/news.raw b/htdocs/news.raw index ec008fb..a23308a 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -14,7 +14,7 @@ of the Parma Polyhedra Library. <TD> <STRONG>The PPL has now a bug tracking system</STRONG> <BR> - We finally got round to setting up a + We have finally got round to setting up a <A HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. Users and developers are now strongly encouraged to use it diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index b932c42..e6379d3 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -52,7 +52,7 @@ version 3</A> or any later version). <TD> <STRONG><FONT COLOR=red>The PPL has now a bug tracking system</FONT></STRONG> <BR> - We finally got round to setting up a + We have finally got round to setting up a <A HREF="https://www.cs.unipr.it/mantis/">bug tracking system for the PPL</A>. Users and developers are now strongly encouraged to use it