- information about the database map added in whatsnew.html

[helm.git] / helm / mathql / homepage / authors.html

diff --git a/helm/mathql/homepage/authors.html b/helm/mathql/homepage/authors.html
index 16661199a016d464575fa766a6da1089bdf78f53..222216cdb477330c321a3a5ad49ed9060116de42 100644 (file)
--- a/helm/mathql/homepage/authors.html
+++ b/helm/mathql/homepage/authors.html
@@ -76,7 +76,7 @@
  2002.<br>
             <br>
             <b>Ferruccio Guidi</b> obtained a Master degree in Mathematics
-at the  Univerity   of Padova and a PhD in Computer Science at the University
+at the  University   of Padova and a PhD in Computer Science at the University
  of  Bologna. His research interests include computer-assisted proof development,
    Martin-L&ouml;f type theory and substructural logic. He is a member of
 the        <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and
@@ -84,8 +84,8 @@ of the       <a href="http://www.math.unipd.it/%7Elogic/">"Paulus Venetus"
 Research Group in Logic</a>.<br>
             <br>
             <b>Irene Schena</b> obtained a Master Degree in Computer Science
-and a Ph.D. in Computer Science at the Univerity of Bologna. Her research
-interests include Linear Logic and Web Tecnologies. She is a member of the
+and a Ph.D. in Computer Science at the University of Bologna. Her research
+interests include Linear Logic and Web Technologies. She is a member of the
       <a href="http://helm.cs.unibo.it/">HELM Working Group</a> and of the
       <a href="http://www.w3c.org/Math">W3C Math Working Group</a>.<br>
             <br>