X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.html;fp=helm%2Fwww%2Fmatita%2Fdownload.html;h=41c6340a0db67a84528f1b353855fe95c43e2c55;hb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;hp=0000000000000000000000000000000000000000;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git diff --git a/helm/www/matita/download.html b/helm/www/matita/download.html new file mode 100644 index 000000000..41c6340a0 --- /dev/null +++ b/helm/www/matita/download.html @@ -0,0 +1,58 @@ + + + Matita home page - download + + + + + + +

+ + + + + + + + + + +
+ + + + + + + + + + + + + + +
+ Matita Home + + Developers + + Documentation + + Community + + Download +
+
+ Since there is no official release, you can browse the svn + repository and get sources of the ocaml/ and + matita/ modules. +
+
+ + + + +