[PPL-devel] [GIT] ppl/w3ppl(master): Little improvements: Mazzi and Trabucchi are former students.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Aug  4 14:01:15 2010 +0200

Little improvements: Mazzi and Trabucchi are former students.

---

 htdocs/Credits/Credits.raw |   12 +++++++-----
 1 files changed, 7 insertions(+), 5 deletions(-)

diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw
index 0ee838f..2c84d69 100644
--- a/htdocs/Credits/Credits.raw
+++ b/htdocs/Credits/Credits.raw
@@ -142,9 +142,9 @@ maintained and improved by the following people:
   </LI>
   <LI>
     Giordano Fracasso
-                        (University of Parma) wrote the initial version
-                        of the support for native and checked integer
-                        coefficients.
+                        (student of the University of Parma)
+                        wrote the initial version of the support for
+                        native and checked integer coefficients.
   </LI>
   <LI>
     Maximiliano Marchesi
@@ -154,7 +154,8 @@ maintained and improved by the following people:
   </LI>
   <LI>
     Elena Mazzi
-                        (University of Parma) worked on our implementation
+                        (former student of the University of Parma)
+                        worked on our implementation
                         of bounded differences and octagons.  She also
                         participated in the theoretical and practical
                         work concerning widening operators for weakly
@@ -192,7 +193,8 @@ maintained and improved by the following people:
   </LI>
   <LI>
     Fabio Trabucchi
-                        (University of Parma) worked on a development
+                        (former student of the University of Parma)
+                        worked on a development
                         branch where he added serializers for all the
                         objects of the PPL.  Support for serialization
                         based on Fabio's work, will be available in a