From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 13:38:46 +0000 (+0000) Subject: english syntax error fixed X-Git-Tag: nogzip~42 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=05a89d6ac5560f1d2a8bb6e930f0ea2b357c5122;p=helm.git english syntax error fixed --- diff --git a/helm/configuration/README b/helm/configuration/README index 51e2b002c..9f6eb3534 100644 --- 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 -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. diff --git a/helm/configuration/helm_configuration-0.0.1-1.spec b/helm/configuration/helm_configuration-0.0.1-1.spec index 2907ddd27..e04d9f773 100644 --- 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 -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