X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_misc.mli;h=aba2a9a01a596d22968177c1a6d817be8b035b97;hb=32bc9336091a84376f93b06325c08dab58124a0d;hp=6086b8d5a598304069bcd5e11cb7060affa5ae07;hpb=c3e872308eb13fac1217091154999ea53fb957bf;p=helm.git diff --git a/helm/http_getter/http_getter_misc.mli b/helm/http_getter/http_getter_misc.mli index 6086b8d5a..aba2a9a01 100644 --- a/helm/http_getter/http_getter_misc.mli +++ b/helm/http_getter/http_getter_misc.mli @@ -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