X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=69b49ee5fa833fb71cacb5df2d2fec37e4d17344;hb=44b999cf4e56f792cf4db5b2b7fce588735f1e4e;hp=4454357a2f5c0b1738993d067911dc7826794aeb;hpb=cc16727f34114cee287e6a81b80f68657c656725;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 4454357a2..69b49ee5f 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -2,14 +2,14 @@ - Matita - Development + Matita Developers
-

Matita Development

+

Matita Developers

The origins of Matita go back to 1999 and are intertwined with the HELM Project. Since then, a @@ -18,16 +18,17 @@ of them, we apologize for whom we forgot to mention.

-

Current team members

+

People

+

Current team members

-

Former members

+

Former members