X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2FREADME;h=9f6eb3534f9e070e7fb8ec433d759ceefc40c698;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=51e2b002c23b2fcaba0ef3ab8f9a2ec684c7543b;hpb=d9454c1773007e9e46b25c8e50e1e4ffe3204424;p=helm.git 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.