From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 1 Feb 2006 22:42:23 +0000 (+0000)
Subject: added links to svn tarballs
X-Git-Tag: make_still_working~7696
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a7063fc0997a9d9eae6c329443e67ab92c4b6a0f;p=helm.git

added links to svn tarballs
---

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>