X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fdocumentation.html;h=45edae9d3fe11925329e5c56696334666c8b60c0;hb=f15a13bab100064a4da238cede323b8d4568c174;hp=7c00983d20203d470085de1687b16602a6d3cb08;hpb=9b39850df645df05ba61dd2857c0d1e13b409533;p=helm.git

diff --git a/helm/mathql/homepage/documentation.html b/helm/mathql/homepage/documentation.html
index 7c00983d2..45edae9d3 100644
--- a/helm/mathql/homepage/documentation.html
+++ b/helm/mathql/homepage/documentation.html
@@ -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