]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/README
ocaml 3.09 transition
[helm.git] / helm / configuration / README
index 51e2b002c23b2fcaba0ef3ab8f9a2ec684c7543b..9f6eb3534f9e070e7fb8ec433d759ceefc40c698 100644 (file)
@@ -1,7 +1,7 @@
 NOTE: This is the first alpha release of project HELM.
 
 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
-at the creation of tools for the development and exploitment of a huge
+at the creation of tools for the development and exploitation of a huge
 distributed library of formal mathematical knowledge. This package holds
 the configuration files shared by all this tools.