ocaml 3.09 transition

[helm.git] / helm / configuration / README

diff --git a/helm/configuration/README b/helm/configuration/README
index 51e2b002c23b2fcaba0ef3ab8f9a2ec684c7543b..9f6eb3534f9e070e7fb8ec433d759ceefc40c698 100644 (file)
--- a/helm/configuration/README
+++ b/helm/configuration/README
@@ -1,7 +1,7 @@
 NOTE: This is the first alpha release of project HELM.
 
 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
 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.
 
 distributed library of formal mathematical knowledge. This package holds
 the configuration files shared by all this tools.