ocaml 3.09 transition

[helm.git] / helm / http_getter / README

diff --git a/helm/http_getter/README b/helm/http_getter/README
index efed4c26fae79ed8ceeba9de704626f229e71e96..1074b3bf558ec655304fd4d136e2382725ca1816 100644 (file)
--- 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.
 
 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