(co)inductive type declarations are now documented

[helm.git] / helm / www / matita / download.shtml

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 30b26f672471952a05495ed720f14a1707386592..d780ab156835dca322a935fd72a1743ef4540dc4 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -8,16 +8,24 @@
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">Sources</span></h1>
     <p>
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">Sources</span></h1>
     <p>

-    Matita has no officiale releases yet.
+    Matita has no official releases yet.

     Still, you can get and build Matita from sources.
     All our source code is released under the terms of the GNU General
     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.
+    Public Licence and is publically accessible on our svn repository.
+    </p>
+    <p>
+    To checkout a copy of the sources type:
+    <pre>
+    svn co -N svn://mowgli.cs.unibo.it/trunk/helm/software/
+    cd software
+    svn co svn://mowgli.cs.unibo.it/trunk/helm/software/components
+    svn co svn://mowgli.cs.unibo.it/trunk/helm/software/matita
+    </pre>
+    </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>
     </p>
     <!--#include virtual="bottombar.shtml" -->
   </body>