From a7063fc0997a9d9eae6c329443e67ab92c4b6a0f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 1 Feb 2006 22:42:23 +0000
Subject: [PATCH] added links to svn tarballs

---
 helm/matita_homepage/download.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/helm/matita_homepage/download.html b/helm/matita_homepage/download.html
index e53796fe8..41c6340a0 100644
--- a/helm/matita_homepage/download.html
+++ b/helm/matita_homepage/download.html
@@ -43,8 +43,10 @@
 
 	<tr>
 	  <td>
+	    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.
 	    <br>
-	    testo qui
 	  </td>
 	</tr>
 
-- 
2.39.2