X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=13b803f02bf7cfa035171490ff9b975900907420;hb=8734cd629496be7c2b111f2365b6e27d772aa426;hp=4454357a2f5c0b1738993d067911dc7826794aeb;hpb=cc16727f34114cee287e6a81b80f68657c656725;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 4454357a2..13b803f02 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,15 +1,15 @@ - - + + - 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