[PPL-devel] [GIT] ppl/w3ppl(master): Added Roberto Amadini, Fabio Biselli and Fabio Bossi to the list of contributors.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Dec 22 10:25:15 2009 +0100

Added Roberto Amadini, Fabio Biselli and Fabio Bossi to the list of contributors.

---

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

diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw
index 016c81d..8365976 100644
--- a/htdocs/Credits/Credits.raw
+++ b/htdocs/Credits/Credits.raw
@@ -44,6 +44,12 @@ 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
@@ -53,6 +59,19 @@ 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