]> matita.cs.unibo.it Git - helm.git/commitdiff
added links to svn tarballs
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Feb 2006 22:42:23 +0000 (22:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 1 Feb 2006 22:42:23 +0000 (22:42 +0000)
helm/matita_homepage/download.html

index e53796fe877a0b9c2417b767724ab2e902a58690..41c6340a0db67a84528f1b353855fe95c43e2c55 100644 (file)
 
        <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>