X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdownload.shtml;h=9bf1fa948c1d728a3a603ed17ee10cbb6822b4da;hb=d0212d7627d3e135c224ffaa30b03ee1969a4578;hp=86f442d3ae65cd56d2f348382a163960b1e9c1c2;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 86f442d3a..9bf1fa948 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -8,13 +8,23 @@
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">Sources</span></h1>
     <p>
-    Since there is no official release, you can browse the svn repository
-    and get sources of the <a
-      href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a>
-    and <a
-      href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a>
-    modules.
+    Matita has no officiale releases yet.
+    Still, you can get and build Matita from sources.
+    All our source code is released under the terms of the GNU General
+    Public Licence and is publically accessible on our
+    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2F&amp;sc=0">svn repository</a>.
+    Go there and download the tarball of the
+    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fcomponents%2F&amp;rev=0&amp;sc=0"><kbd>components/</kbd></a>
+    on which Matita is built and of
+    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&amp;path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2F&amp;rev=0&amp;sc=0"><kbd>matita/</kbd></a>
+    itself.
+    </p>
+    <p>
+    Once you got the sources, have a look at the
+    <a href="install.html">installation instructions</a> on how to build and
+    install Matita from sources.
     </p>
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->