X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=dae6c19d49d511a3cc5b6bf647267405b806b299;hb=50a9ed8c6207145fccf59e6a5dbbff935cd2c6d7;hp=193be32a01097147997be02324c3b018605b4da8;hpb=e4807fdacd5b71bfd2e754f42f520d82fd178386;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 193be32a0..dae6c19d4 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,13 +1,15 @@ - + + - Matita home page - developers - + Matita Developers +
-

Matita Development

+ +

Matita Developers

The origins of Matita go back to 1999 and are intertwined with the HELM Project. Since then, a @@ -15,17 +17,20 @@ 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

-
-