X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita_homepage%2Fdevelopers.html;h=10c0ad21270bcb9276e49de2e0eecdef675413ad;hb=c3697eaa0d45507e5dfea09171ac1b0bda73fe05;hp=12cea64f7d3c7609dfba574178c10c47c4174845;hpb=2f96ed63a40e2996bb4a249968e90fd0eef3f580;p=helm.git
diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html
index 12cea64f7..10c0ad212 100644
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -3,10 +3,39 @@
Matita home page - developers
+
+
+ Current team members
+
+
+ Former members
+
+ Students, developers and contributors
+
+ - Pietro Di Lena
+ - Michele Galata'.
+ - Alberto Griggio
+ - Matteo Selmi
+ - Vincenzo Tamburrelli
+
+
+