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>
<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 (<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>
</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