X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=1c07e00b23bbc291f07e0565ba7e2c3034c38a6f;hb=5c9bf8626ec0cb7f5ba18df3883aa1dbbead9555;hp=179ca003433868d1370cedaaf1cf079e6fd50bc1;hpb=27d91f60a42bbbfb193d4a330cb97d1d20de602b;p=helm.git
diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 179ca0034..1c07e00b2 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -10,16 +10,20 @@
Download Matita!
-
Releases
+
Releases
+
Matita has no official releases yet.
+
-
License
+
License
+
All our source code is released under the terms of the GNU General Public
Licence and is publically accessible on our Subversion repository.
+
-
Subversion repository
+
Subversion repository
You can browse our svn repository directly on the web.