X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FREADME;h=efed4c26fae79ed8ceeba9de704626f229e71e96;hb=5868bef6637af919fbb48a83c24268bb85bdef6a;hp=cc0522b13252ab072a720c87e177cb3de3593ae9;hpb=1e50be8cda017baad324e20e5007df13f1c0fe04;p=helm.git diff --git a/helm/http_getter/README b/helm/http_getter/README index cc0522b13..efed4c26f 100644 --- a/helm/http_getter/README +++ b/helm/http_getter/README @@ -3,7 +3,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 exploitation of a huge distributed library of formal mathematical knowledge. This package holds -the base DTDs and XSLT stylesheets developed by the members of project -HELM. +the getter used to map logical names into phisical names and download +the required files. For more information see http://www.cs.unibo.it/helm