X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_types.ml;h=36ea0e8c3a8a1a5911dfc342a4efbc411de7b820;hb=67b126ded904b0388bb32039d3217fa37099d33f;hp=91c08c38b07604e1ca483e104265e8294334258a;hpb=eebee42bc011c09766d09aa18942f95671531a9e;p=helm.git diff --git a/helm/http_getter/http_getter_types.ml b/helm/http_getter/http_getter_types.ml index 91c08c38b..36ea0e8c3 100644 --- a/helm/http_getter/http_getter_types.ml +++ b/helm/http_getter/http_getter_types.ml @@ -1,5 +1,5 @@ (* - * Copyright (C) 2000, HELM Team. + * Copyright (C) 2003, HELM Team. * * This file is part of HELM, an Hypertextual, Electronic * Library of Mathematics, developed at the Computer Science