From 05a89d6ac5560f1d2a8bb6e930f0ea2b357c5122 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 28 Dec 2000 13:38:46 +0000 Subject: [PATCH] english syntax error fixed --- helm/configuration/README | 2 +- helm/configuration/helm_configuration-0.0.1-1.spec | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2