X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=13b803f02bf7cfa035171490ff9b975900907420;hb=8734cd629496be7c2b111f2365b6e27d772aa426;hp=74b2037d66c2858e8ee8c6e574000dc07f3b455d;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 74b2037d6..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