Trivial bug fixed in the merging of polymorphic coercions.

[helm.git] / helm / www / matita / developers.shtml
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml

index 6b954b74da4957c9f1b8aac7bc556621acb87bca..ffdf7616c18b7452c8b2ff865210a8add35ea431 100644 (file)
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -6,6 +6,13 @@
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
+    <p>
+    The origin of Matita go back to 1999 and are intertwined with the
+    <a href="http://helm.cs.unibo.it">HELM Project</a>. Since then, a
+    lot of people contributed both ideas and source code that have made
+    Matita what it looks today. In this page we tried to summarize all
+    of them, we apologize for whom we forgot to mention.
+    </p>
      <h1><span class="h1">Current team members</span></h1>
      <ul>
        <li><a href="http://www.cs.unibo.it/~asperti/">Andrea Asperti</a> - Full Professor</li>