X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=ffdf7616c18b7452c8b2ff865210a8add35ea431;hb=6073f0bd6760d393f229d1b61a91bf9b64af2f09;hp=85b831f394aa29b4afbf6c50d3e5668c4e55d397;hpb=f98eeb911a76531c36d1da56e07eb48568f37734;p=helm.git diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml index 85b831f39..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