X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=845367ad1efebcd8482bcc3b79ffa24d30232e9f;hb=4c042b286cd7d2559738569b96769dd0263a9f6d;hp=4a53073afe9e171fe3357850c60ecd188fc446c4;hpb=97adaa2f0bd4fb57c2633b19746250eb99e5953b;p=helm.git

diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 4a53073af..845367ad1 100644
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -96,6 +96,7 @@
        <li><a href=http://www.cs.chalmers.se/Cs/Research/Logic/Types/>
          Types Project</a>
        <li><a href=http://www.mctafi.math.unipd.it/>McTafi</a></li>
+       <li><a href=http://dama.cs.unibo.it/>Dama</a></li>
       </ul>
       </p>