X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita_it.shtml;h=eeafd975ebb01632c5d9a06a0738992d7674eeb9;hb=52e5fe4592c61448edfd406a396c9fa9ab7e2e46;hp=379be3d530d131aac01cf97adc2ed4bd751cba3f;hpb=884876e28023324f68c97f1e387431d21b0a6453;p=helm.git

diff --git a/helm/www/matita/matita_it.shtml b/helm/www/matita/matita_it.shtml
index 379be3d53..eeafd975e 100644
--- a/helm/www/matita/matita_it.shtml
+++ b/helm/www/matita/matita_it.shtml
@@ -101,6 +101,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>
       <!--#include virtual="bottombar.shtml" -->