[PPL-devel] [GIT] ppl/w3ppl(master): Updated following the CREDITS file in the ppl.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue Aug  3 12:08:43 2010 +0100

Updated following the CREDITS file in the ppl.

---

 htdocs/Credits/Credits.raw |   55 ++++++++++++++++++++++---------------------
 1 files changed, 28 insertions(+), 27 deletions(-)

diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw
index 8365976..4081601 100644
--- a/htdocs/Credits/Credits.raw
+++ b/htdocs/Credits/Credits.raw
@@ -44,12 +44,6 @@ maintained and improved by the following people:
 
 <UL>
   <LI>
-    Roberto Amadini
-                        (student of the University of Parma)
-                        is working on the PPL support for the approximation
-                        of floating point computations.
-  </LI>
-  <LI>
     Abramo Bagnara
                         (Opera Unica) rewrote and generalized the
                         support for checked coefficients.  He also
@@ -59,33 +53,12 @@ maintained and improved by the following people:
                         design and implementation issues.
   </LI>
   <LI>
-    Fabio Biselli
-                        (student of the University of Parma)
-                        is working on the PPL support for the approximation
-                        of floating point computations.
-
-  </LI>
-  <LI>
     Fabio Bossi
                         (student of the University of Parma)
                         is working on the PPL support for the approximation
                         of floating point computations.
   </LI>
   <LI>
-    Andrea Cimino
-                        (former student of the University of Parma)
-                        wrote most of the mixed
-                        integer programming solver, and also most of
-                        the Java and OCaml interfaces.
-  </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.
-  </LI>
-  <LI>
     <A HREF="http://www.prism.uvsq.fr/~fgalea/">François Galea</A>
                         (University of Versailles) is working
                         at the implementation of the Parametric Integer
@@ -115,6 +88,13 @@ maintained and improved by the following people:
 
 <P>
 <UL>
+
+  <LI>
+    Roberto Amadini
+                        (student of the University of Parma)
+                        is working on the PPL support for the approximation
+                        of floating point computations.
+  </LI>
   <LI>
     Irene Bacchi
                         (former student of the University of Parma)
@@ -124,6 +104,13 @@ maintained and improved by the following people:
                         of two polyhedra is the same as their poly-hull.
   </LI>
   <LI>
+    Fabio Biselli
+                        (student of the University of Parma)
+                        is working on the PPL support for the approximation
+                        of floating point computations.
+
+  </LI>
+  <LI>
     Danilo Bonardi
                         (former student of the University of Parma)
                         worked on a development branch where he experimented
@@ -140,6 +127,20 @@ maintained and improved by the following people:
                         project started.
   </LI>
   <LI>
+    Andrea Cimino
+                        (former student of the University of Parma)
+                        wrote most of the mixed
+                        integer programming solver, and also most of
+                        the Java and OCaml interfaces.
+  </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.
+  </LI>
+  <LI>
     Giordano Fracasso
                         (University of Parma) wrote the initial version
                         of the support for native and checked integer