X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=e228cf91d72097550fd5e80f5cc4c12b08bfe1eb;hb=82d7e23a1835f1e6d26c9a8a085854f1c0a428fe;hp=1588aeb799ee2a6d65759324c5308b89bb9adeeb;hpb=d0b2bceffedce633f496b4e4fcc557be73fbfe1d;p=helm.git diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml index 1588aeb79..e228cf91d 100644 --- a/helm/www/matita/download.shtml +++ b/helm/www/matita/download.shtml @@ -1,6 +1,6 @@ - - + +
+ The current release (candidate) is version 0.4.98. +
+aptitude install matita matita-standard-library+ Additionally it can be download adding the following line to your + /etc/apt/sources.list file:
deb http://mowgli.cs.unibo.it/~tassi/debian/ ./+
All our source code is released under the terms of the GNU General Public Licence and is publically accessible on our Subversion repository. +
You can browse our svn repository directly on the web.
+