From 930946c689286a4e235371a67b7c69049684fbd8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 16 May 2006 08:58:22 +0000
Subject: [PATCH] fixed

---
 helm/www/matita/download.shtml | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 9bf1fa948..39a971d2f 100644
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -11,13 +11,15 @@
     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.
+    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/
+    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
-- 
2.39.2