X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=69b49ee5fa833fb71cacb5df2d2fec37e4d17344;hb=2caabc2c2021d86911f8df8ee92d230c5e4e0389;hp=74b2037d66c2858e8ee8c6e574000dc07f3b455d;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 74b2037d6..69b49ee5f 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -2,14 +2,14 @@ - 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