X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=ffdf7616c18b7452c8b2ff865210a8add35ea431;hb=6073f0bd6760d393f229d1b61a91bf9b64af2f09;hp=f99082eefed7eeab7d9a641b50c725052c96c706;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index f99082eef..ffdf7616c 100644
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -6,6 +6,13 @@
+
+ The origin 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
- Andrea Asperti - Full Professor
@@ -16,19 +23,16 @@
Former members
-
- Students, developers and contributors
-
- - Pietro Di Lena
- - Michele Galatá
- - Alberto Griggio
- - Matteo Selmi
- - Vincenzo Tamburrelli
+ - Ferruccio Guidi - PhD
+ - Luca Padovani - Researcher
+ - Irene Schena - PhD
+ - Pietro Di Lena - Undergrad Student
+ - Michele Galatá - Undergrad Student
+ - Alberto Griggio - Undergrad Student
+ - Matteo Selmi - Undergrad Student
+ - Vincenzo Tamburrelli - Undergrad Student