- changed copyright year to 2003

diff --git a/helm/http_getter/http_getter.ml b/helm/http_getter/http_getter.ml
index 45d476047958e6e2a0a94e7bb8000f08e3705708..44f24dee9247fe6a3ab3a3f1765b6569cc9464b1 100644 (file)
--- 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 dae28417d510529450a4bb6afca9ce066180c32a..faa0c014a6491c50a0550b203a00bfadcb50c254 100644 (file)
--- 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 d4deb6795c92f5d06e4168dfe6647a386184379b..0c477637c9d92e6a3380aa5e9c018ccbb842a082 100644 (file)
--- 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 ea321159e1f093a9c77ff6677214a618fcbdc8a4..51b40e1aa69356a4cb360af394e66655daa2a640 100644 (file)
--- 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 b3d389aebda5fd8fe8b2013202afe8de203d2498..cfa21fe913420cfa1c72421f2be9723f174d35f1 100644 (file)
--- 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 7f7500269c0b6fb911ba91759dfd9773a257afe0..136849431d276f25d6240dacb51b769270416242 100644 (file)
--- 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 acbc178538d66c717292347777b36734e1903608..f9c789eff50e6d493f34a5bc8757b9c8abad173d 100644 (file)
--- 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 e47cc3d3c077b69ec4307c4b598c51f2575b0c2a..9c66f8ff7a0dd18f2844c358527b079044ce33de 100644 (file)
--- 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 bdaae203a34d938a04337fefaa8a182050788d19..c4ff0102f48e13f35131913f4966ead9ac2d80a7 100644 (file)
--- 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 b0725b8defa152f2f9cdab1667ae98a3df8d90dc..c5c8f64895567e2cf11aa9820fe6c61faf6c9d7b 100644 (file)
--- 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 036e05996819f9c4bb4610292c0ecd08265901d1..ab517e20ed66fdf57a188591b69e984d2ced1b10 100644 (file)
--- 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 6086b8d5a598304069bcd5e11cb7060affa5ae07..aba2a9a01a596d22968177c1a6d817be8b035b97 100644 (file)
--- 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 91c08c38b07604e1ca483e104265e8294334258a..36ea0e8c3a8a1a5911dfc342a4efbc411de7b820 100644 (file)
--- 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 36fb3e9a08e5f3ecb16b60829c69435d093dea74..544f934f0664cf0d163fab9b9fea412b0dd400dc 100644 (file)
--- 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 6f6d047168e09530cdb12effe2692e2fc0539e13..afd82a0eb5953315160c90997f3a323ccbdabc13 100644 (file)
--- 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