[PPL-devel] [GIT] ppl/w3ppl(master): Updated and fixed a few bugs.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue Aug  3 20:47:13 2010 +0100

Updated and fixed a few bugs.

---

 htdocs/Credits/Credits.raw |   16 ++++++++--------
 1 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw
index 4081601..0ee838f 100644
--- a/htdocs/Credits/Credits.raw
+++ b/htdocs/Credits/Credits.raw
@@ -92,8 +92,8 @@ maintained and improved by the following people:
   <LI>
     Roberto Amadini
                         (student of the University of Parma)
-                        is working on the PPL support for the approximation
-                        of floating point computations.
+                        did some work on the PPL support for the
+                        approximation of floating point computations.
   </LI>
   <LI>
     Irene Bacchi
@@ -106,8 +106,8 @@ maintained and improved by the following people:
   <LI>
     Fabio Biselli
                         (student of the University of Parma)
-                        is working on the PPL support for the approximation
-                        of floating point computations.
+                        did some work on the PPL support for the
+                        approximation of floating point computations.
 
   </LI>
   <LI>
@@ -135,10 +135,10 @@ maintained and improved by the following people:
   </LI>
   <LI>
     <A HREF="http://www.comp.leeds.ac.uk/katyd">Katy Dobson</A>
-                        (University of Leeds) is working on the
-                        formalization and definition of algorithms
-                        for rational grids and products of grids
-                        and polyhedra.
+                        (former student of the University of Leeds)
+                        worked on the formalization and definition of
+                        algorithms for rational grids and products
+                        of grids and polyhedra.
   </LI>
   <LI>
     Giordano Fracasso