added links to svn tarballs

[helm.git] / helm / matita_homepage / download.html

diff --git a/helm/matita_homepage/download.html b/helm/matita_homepage/download.html
index e53796fe877a0b9c2417b767724ab2e902a58690..41c6340a0db67a84528f1b353855fe95c43e2c55 100644 (file)
--- 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>