- information about the database map added in whatsnew.html

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

diff --git a/helm/mathql/homepage/implementation.html b/helm/mathql/homepage/implementation.html
index 2d774a9537af109c084d70935338bf4f6fc2e88f..5b41f9d080ef643469c6920f4fb816df34a7580f 100644 (file)
--- 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>
@@ -117,7 +117,7 @@ near  future.</li>
       <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