From 28fa5ea7c019ca4df7ad389ceb4da786cd0176d4 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 21 Mar 2003 18:04:12 +0000 Subject: [PATCH] removed ancient HELM stuff --- helm/http_getter/README | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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 -- 2.39.2