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

-
-