X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=845367ad1efebcd8482bcc3b79ffa24d30232e9f;hb=2914c7179cb8253388df0f5257e41d014a277b01;hp=4a53073afe9e171fe3357850c60ecd188fc446c4;hpb=884876e28023324f68c97f1e387431d21b0a6453;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>