english syntax error fixed

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.
 

diff --git a/helm/configuration/helm_configuration-0.0.1-1.spec b/helm/configuration/helm_configuration-0.0.1-1.spec
index 2907ddd274c1a7b8e3ec9f2ce98324d0f5ad09d4..e04d9f773344a7393255953906da91c959c7a71b 100644 (file)
--- a/helm/configuration/helm_configuration-0.0.1-1.spec
+++ b/helm/configuration/helm_configuration-0.0.1-1.spec
@@ -10,7 +10,7 @@ Group: Applications/Publishing
 Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_configuration-0.0.1-1.tar.gz
 %description
 HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
 Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_configuration-0.0.1-1.tar.gz
 %description
 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.
 For more information see http://www.cs.unibo.it/helm
 distributed library of formal mathematical knowledge. This package holds
 the configuration files shared by all this tools.
 For more information see http://www.cs.unibo.it/helm