X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fimplementation.html;h=286a5dbbc9e87a88969e10c0be9c9196e2872374;hb=03d1ddf4a7fdf03fd497babd84d1963048253f0d;hp=2d774a9537af109c084d70935338bf4f6fc2e88f;hpb=61519a6ef507c1319be96c2f4a06e059fb61cf44;p=helm.git

diff --git a/helm/mathql/homepage/implementation.html b/helm/mathql/homepage/implementation.html
index 2d774a953..286a5dbbc 100644
--- a/helm/mathql/homepage/implementation.html
+++ b/helm/mathql/homepage/implementation.html
@@ -100,7 +100,7 @@ near  future.</li>
  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_generator/">mathql_generator</a>) 
   allows to build specific kinds of MathQL-1 queries, which are meaningful 
  in the context of HELM, starting from a high-level description of the wanted 
-  results. These queries are descibed at an abstract level in the following 
+  results. These queries are described at an abstract level in the following 
   paper:</li>
                                        
       </ol>
@@ -110,14 +110,14 @@ near  future.</li>
                <li>F. Guidi and C. Sacerdoti Coen: <i>Querying Distributed
  Digital  Libraries of Mathematics</i>.<br>
                </li>
-                                                 
+               will appear as research report of Laboratoire D'Informatique de Paris 6
         </ul>
            </blockquote>
                                        
       <ol start="4">
              <li>The testing software for the MathQL-1 Suite&nbsp;(<a
  href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/mathql_test/">mathql_test</a>) 
-  providides three textual interfaces (one for the basic package, one for 
+  provides three textual interfaces (one for the basic package, one for 
 the  interpreter and one for the query generator) with specific features meant
  for testing.<br>
              </li>
@@ -125,7 +125,7 @@ the  interpreter and one for the query generator) with specific features meant
       </ol>
      The current version of the Suite, realized entirely by F. Guidi, implements 
   MathQL-1 version 3 (i.e. MathQL-1.3). The newly implemented features, which
- are not included in the ufficial <a href="documentation.html">documentation</a>
+ are not included in the official <a href="documentation.html">documentation</a>
  yet, are reported in the <a href="whatsnew.html">What's new</a> section.<br>
    <br>
      The latest <a