X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fhomepage%2Fimplementation.html;h=286a5dbbc9e87a88969e10c0be9c9196e2872374;hb=f5419c538928932f114f78887e489f6b2e19764a;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. href="http://www.cs.unibo.it/cgi-bin/cvsweb/helm/ocaml/mathql_generator/">mathql_generator) 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: @@ -110,14 +110,14 @@ near future.