From: Stefano Zacchiroli Date: Fri, 27 Dec 2002 10:51:02 +0000 (+0000) Subject: - changed copyright year to 2003 X-Git-Tag: v0_3_99~100 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=32bc9336091a84376f93b06325c08dab58124a0d - changed copyright year to 2003 --- diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml index 45d476047..44f24dee9 100644 --- a/helm/http_getter/http_getter.ml +++ b/helm/http_getter/http_getter.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 diff --git a/helm/http_getter/http_getter_cache.ml b/helm/http_getter/http_getter_cache.ml index dae28417d..faa0c014a 100644 --- a/helm/http_getter/http_getter_cache.ml +++ b/helm/http_getter/http_getter_cache.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 diff --git a/helm/http_getter/http_getter_cache.mli b/helm/http_getter/http_getter_cache.mli index d4deb6795..0c477637c 100644 --- a/helm/http_getter/http_getter_cache.mli +++ b/helm/http_getter/http_getter_cache.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 diff --git a/helm/http_getter/http_getter_common.mli b/helm/http_getter/http_getter_common.mli index ea321159e..51b40e1aa 100644 --- a/helm/http_getter/http_getter_common.mli +++ b/helm/http_getter/http_getter_common.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 diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml index b3d389aeb..cfa21fe91 100644 --- a/helm/http_getter/http_getter_const.ml +++ b/helm/http_getter/http_getter_const.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 diff --git a/helm/http_getter/http_getter_const.mli b/helm/http_getter/http_getter_const.mli index 7f7500269..136849431 100644 --- a/helm/http_getter/http_getter_const.mli +++ b/helm/http_getter/http_getter_const.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 diff --git a/helm/http_getter/http_getter_env.ml b/helm/http_getter/http_getter_env.ml index acbc17853..f9c789eff 100644 --- a/helm/http_getter/http_getter_env.ml +++ b/helm/http_getter/http_getter_env.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 diff --git a/helm/http_getter/http_getter_env.mli b/helm/http_getter/http_getter_env.mli index e47cc3d3c..9c66f8ff7 100644 --- a/helm/http_getter/http_getter_env.mli +++ b/helm/http_getter/http_getter_env.mli @@ -1,28 +1,28 @@ (* - * Copyright (C) 2000, HELM Team. - * - * This file is part of HELM, an Hypertextual, Electronic - * Library of Mathematics, developed at the Computer Science - * Department, University of Bologna, Italy. - * - * HELM is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * HELM is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with HELM; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, - * MA 02111-1307, USA. - * - * For details, see the HELM World-Wide-Web page, - * http://cs.unibo.it/helm/. - *) + * Copyright (C) 2003, HELM Team. + * + * This file is part of HELM, an Hypertextual, Electronic + * Library of Mathematics, developed at the Computer Science + * Department, University of Bologna, Italy. + * + * HELM is free software; you can redistribute it and/or + * modify it under the terms of the GNU General Public License + * as published by the Free Software Foundation; either version 2 + * of the License, or (at your option) any later version. + * + * HELM is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with HELM; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place - Suite 330, Boston, + * MA 02111-1307, USA. + * + * For details, see the HELM World-Wide-Web page, + * http://cs.unibo.it/helm/. + *) open Http_getter_types;; diff --git a/helm/http_getter/http_getter_map.ml b/helm/http_getter/http_getter_map.ml index bdaae203a..c4ff0102f 100644 --- a/helm/http_getter/http_getter_map.ml +++ b/helm/http_getter/http_getter_map.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 diff --git a/helm/http_getter/http_getter_map.mli b/helm/http_getter/http_getter_map.mli index b0725b8de..c5c8f6489 100644 --- a/helm/http_getter/http_getter_map.mli +++ b/helm/http_getter/http_getter_map.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 diff --git a/helm/http_getter/http_getter_misc.ml b/helm/http_getter/http_getter_misc.ml index 036e05996..ab517e20e 100644 --- a/helm/http_getter/http_getter_misc.ml +++ b/helm/http_getter/http_getter_misc.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 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 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 diff --git a/helm/http_getter/threadSafe.ml b/helm/http_getter/threadSafe.ml index 36fb3e9a0..544f934f0 100644 --- a/helm/http_getter/threadSafe.ml +++ b/helm/http_getter/threadSafe.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 diff --git a/helm/http_getter/threadSafe.mli b/helm/http_getter/threadSafe.mli index 6f6d04716..afd82a0eb 100644 --- a/helm/http_getter/threadSafe.mli +++ b/helm/http_getter/threadSafe.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