Tactics are now documented using bolds for terminal symbols.

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

index 6b954b74da4957c9f1b8aac7bc556621acb87bca..c494b6ecb05547090448d64657b04b7130581265 100644 (file)
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -6,10 +6,17 @@
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
+    <p>
+    The origins 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>
-      <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Researcher </li>
+      <li><a href="http://www.cs.unibo.it/~sacerdot/">Claudio Sacerdoti Coen</a> - Lecturer </li>
        <li><a href="http://www.cs.unibo.it/~tassi/">Enrico Tassi</a> - PhD Student</li>
        <li><a href="http://www.cs.unibo.it/~zacchiro/">Stefano Zacchiroli</a> - PhD Student</li>
      </ul>
@@ -17,7 +24,7 @@
      <h1><span class="h1">Former members</span></h1>
      <ul>
        <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
-      <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Researcher</li>
+      <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Lecturer</li>
        <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
        <li>Pietro Di Lena - Undergrad Student</li>
        <li>Michele Galatá - Undergrad Student</li>