X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=74b2037d66c2858e8ee8c6e574000dc07f3b455d;hb=5c21228da6a5c6e09789788ae82b3c3317cd6149;hp=220ad057d4934b5d64b10d4289a320984948c860;hpb=391f9cda43ee8c6d032358e86d12d3633e107a61;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 220ad057d..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

-
-