]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/homepage/documentation.html
- information about the database map added in whatsnew.html
[helm.git] / helm / mathql / homepage / documentation.html
index 7c00983d20203d470085de1687b16602a6d3cb08..45edae9d3fe11925329e5c56696334666c8b60c0 100644 (file)
@@ -106,7 +106,7 @@ Retrieving in Content-based Repositories  of Formal Mathematical Knowledge</i></
                </li>
                                                        
       </ul>
-             <b>Papers concerning the erlier versions of MathQL-1:</b><br>
+             <b>Papers concerning the earlier versions of MathQL-1:</b><br>
                                                                
       <ul>
                 <li>F. Guidi and I. Schena: <i>A Query Language for a Metadata