Matita Development
+Matita Developers
The origins of Matita go back to 1999 and are intertwined with the HELM Project. Since then, a
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=69b49ee5fa833fb71cacb5df2d2fec37e4d17344;hb=80110e17ef1d38d71473e9471ce15beddde663bb;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 @@
-The origins of Matita go back to 1999 and are intertwined with the HELM Project. Since then, a