X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=c494b6ecb05547090448d64657b04b7130581265;hb=aaefdd61e5a4bf25645812676c977a5a863daa33;hp=6b954b74da4957c9f1b8aac7bc556621acb87bca;hpb=41d76f1dd8a3e5d67785900e6208eb80bf75cc9e;p=helm.git
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index 6b954b74d..c494b6ecb 100644
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -6,10 +6,17 @@
+
+ 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
@@ -17,7 +24,7 @@
Former members