...

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

diff --git a/helm/www/matita/matita_it.shtml b/helm/www/matita/matita_it.shtml
index 379be3d530d131aac01cf97adc2ed4bd751cba3f..eeafd975ebb01632c5d9a06a0738992d7674eeb9 100644 (file)
--- 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" -->