X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;fp=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=e561e9b96d14f03a0170b8eb3713de14ab1edfea;hb=40b52b5c45dddd534c3764645647e8ce9ca48024;hp=ffdf7616c18b7452c8b2ff865210a8add35ea431;hpb=1243f49dd307b6e04181b52b64576d872a4eb5c7;p=helm.git diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml index ffdf7616c..e561e9b96 100644 --- a/helm/www/matita/developers.shtml +++ b/helm/www/matita/developers.shtml @@ -7,7 +7,7 @@

- The origin of Matita go back to 1999 and are intertwined with the + 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