[PPL-devel] [GIT] ppl/ppl(master): Updated and typo fixed.

[Patricia Hill]

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

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

Updated and typo fixed.

---

 CREDITS |   10 +++++-----
 1 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/CREDITS b/CREDITS
index c797359..c047e89 100644
--- a/CREDITS
+++ b/CREDITS
@@ -58,7 +58,7 @@ Past Contributors:
 ------------------
 
   Roberto Amadini       (student of the University of Parma)
-                        did some working on the PPL support for the
+                        did some work on the PPL support for the
                         approximation of floating point computations.
 
   Irene Bacchi          (former student of the University of Parma) worked
@@ -88,10 +88,10 @@ Past Contributors:
                         solver, and also most of the Java and OCaml
                         interfaces.
 
-  Katy Dobson           [6] (University of Leeds) worked on the
-                        formalization and definition of algorithms for
-                        rational grids and products of grids and
-                        polyhedra.
+  Katy Dobson           [6] (former student of the University of Leeds)
+                        worked on the formalization and definition of
+                        algorithms for rational grids and products
+                        of grids and polyhedra.
 
   Giordano Fracasso     (University of Parma) wrote the initial version
                         of the support for native and checked integer