X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=74b2037d66c2858e8ee8c6e574000dc07f3b455d;hb=62f814b9b8c255abbdfcbf12d96f3a3b4e74d477;hp=193be32a01097147997be02324c3b018605b4da8;hpb=e4807fdacd5b71bfd2e754f42f520d82fd178386;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 193be32a0..74b2037d6 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,12 +1,14 @@ + - Matita home page - developers - + Matita - Development +
+

Matita Development

The origins of Matita go back to 1999 and are intertwined with the @@ -15,17 +17,19 @@ 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

-
-