From: Stefano Zacchiroli Date: Fri, 21 Mar 2003 18:04:12 +0000 (+0000) Subject: removed ancient HELM stuff X-Git-Tag: before_refactoring~96 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=28fa5ea7c019ca4df7ad389ceb4da786cd0176d4 removed ancient HELM stuff --- 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