X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FREADME;h=1074b3bf558ec655304fd4d136e2382725ca1816;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=efed4c26fae79ed8ceeba9de704626f229e71e96;hpb=c9e626cba3af69354dac69bfaefeb346a191fc5a;p=helm.git diff --git a/helm/http_getter/README b/helm/http_getter/README index efed4c26f..1074b3bf5 100644 --- a/helm/http_getter/README +++ b/helm/http_getter/README @@ -1,9 +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 exploitation of a huge distributed library of formal mathematical knowledge. This package holds 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 +For more information see http://helm.cs.unibo.it