ported to ocaml 3.09.2

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

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index eff02c81bdcad00728313c38f0524b7cbb87384d..0b20d00af513a9fa0af380e0b0fb8ee4149d7a8f 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -8,12 +8,24 @@
     <!--#include virtual="menubar.shtml" -->
     <h1><span class="h1">Sources</span></h1>
     <p>
-    Since there is no official release, you can browse the
-    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2F&sc=0">svn repository</a>
-    and get the sources of
-    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fcomponents%2F&rev=0&sc=0">components/</a>
-    and
-    <a href="http://helm.cs.unibo.it/websvn/listing.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fsoftware%2Fmatita%2F&rev=0&sc=0">matita/</a>.
+    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 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>