X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=1c07e00b23bbc291f07e0565ba7e2c3034c38a6f;hb=57bc566097b92e1f809ae227b674b48ba7953a62;hp=1588aeb799ee2a6d65759324c5308b89bb9adeeb;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 1588aeb79..1c07e00b2 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -11,13 +11,17 @@
Matita has no official releases yet. +
All our source code is released under the terms of the GNU General Public Licence and is publically accessible on our Subversion repository. +