Bug fixed: name in letin was printed as "previous" even if given.

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

diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 4a53073afe9e171fe3357850c60ecd188fc446c4..845367ad1efebcd8482bcc3b79ffa24d30232e9f 100644 (file)
--- 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>