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

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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