X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=c494b6ecb05547090448d64657b04b7130581265;hb=aaefdd61e5a4bf25645812676c977a5a863daa33;hp=85b831f394aa29b4afbf6c50d3e5668c4e55d397;hpb=f98eeb911a76531c36d1da56e07eb48568f37734;p=helm.git
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index 85b831f39..c494b6ecb 100644
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -6,28 +6,31 @@
+
+ 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