X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=c494b6ecb05547090448d64657b04b7130581265;hb=e362056c17a503d3ac47600db90de1c534fb1fbb;hp=f99082eefed7eeab7d9a641b50c725052c96c706;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index f99082eef..c494b6ecb 100644
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -6,29 +6,33 @@
+
+ The origins of Matita go back to 1999 and are intertwined with the
+ HELM Project. Since then, a
+ lot of people contributed both ideas and source code that have made
+ Matita what it looks today. In this page we tried to summarize all
+ of them, we apologize for whom we forgot to mention.
+
Current team members
Former members
-
- Students, developers and contributors
-
- - Pietro Di Lena
- - Michele Galatá
- - Alberto Griggio
- - Matteo Selmi
- - Vincenzo Tamburrelli
+ - Ferruccio Guidi - PhD
+ - Luca Padovani - Lecturer
+ - Irene Schena - PhD
+ - Pietro Di Lena - Undergrad Student
+ - Michele Galatá - Undergrad Student
+ - Alberto Griggio - Undergrad Student
+ - Matteo Selmi - Undergrad Student
+ - Vincenzo Tamburrelli - Undergrad Student