[a-z] syntax documented

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

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 9bf1fa948c1d728a3a603ed17ee10cbb6822b4da..d780ab156835dca322a935fd72a1743ef4540dc4 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -8,16 +8,19 @@
     <!--#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
     </p>
     <p>
     Once you got the sources, have a look at the