[GIT] ppl/w3ppl(master): Minor improvements to English.

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
participants (1)
-
Patricia Hill