- one file and three lemmas added to Basic 2

[helm.git] / helm / www / matita / download.shtml

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index bcafb843f409e283120bef10e068e9205a50a802..737ee637903e8342aa469af1872fbab9f3c413f5 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -43,7 +43,7 @@
         <dt>Sources</dt>
         
         <dd>You can download the <a
-          href="FILES/matita_0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
+          href="FILES/matita-0.5.8.orig.tar.gz">sources</a> of Matita (around 6 MB, md5sum:
 125223d3dc522c4ac063a66f5d46df69 
         )
         and