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 ffdf7616c18b7452c8b2ff865210a8add35ea431..c494b6ecb05547090448d64657b04b7130581265 100644 (file)
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -7,7 +7,7 @@
    <body>
      <!--#include virtual="menubar.shtml" -->
      <p>
-    The origin of Matita go back to 1999 and are intertwined with the
+    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
@@ -16,7 +16,7 @@
      <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>
@@ -24,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>