]> matita.cs.unibo.it Git - helm.git/commitdiff
english syntax error fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 13:38:46 +0000 (13:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 13:38:46 +0000 (13:38 +0000)
helm/configuration/README
helm/configuration/helm_configuration-0.0.1-1.spec

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.
 
index 2907ddd274c1a7b8e3ec9f2ce98324d0f5ad09d4..e04d9f773344a7393255953906da91c959c7a71b 100644 (file)
@@ -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
-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