From: Andrea Asperti Date: Fri, 20 Jan 2006 08:10:50 +0000 (+0000) Subject: Updated version X-Git-Tag: make_still_working~7807 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c3697eaa0d45507e5dfea09171ac1b0bda73fe05;p=helm.git Updated version --- diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index 085c73ab5..10c0ad212 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -9,14 +9,33 @@ - + + +

Current team members

Andrea Asperti Full Professor
Claudio Sacerdoti Coen Researcher
Enrico TassiPhD Student
Stefano ZacchiroliPhD Student

+ +

Former members

Andrea Asperti
Claudio Sacerdoti Coen
Enrico Tassi
Stefano Zacchiroli
Ferruccio Guidi
Luca Padovani
Irene Schena

Students, developers and contributors

Pietro Di Lena
Michele Galata'.
Alberto Griggio
Matteo Selmi
Vincenzo Tamburrelli

+ +