Updated.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5565 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 18 insertions, 6 deletions

diff --git a/contrib/xml/COPYRIGHT b/contrib/xml/COPYRIGHT
index a195efd5f2..c8d231fd3c 100644
--- a/contrib/xml/COPYRIGHT
+++ b/contrib/xml/COPYRIGHT
@@ -1,13 +1,25 @@
+(******************************************************************************)
+(* Copyright (C) 2000-2004, Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>     *)
+(*                          Project Helm   (http://helm.cs.unibo.it)          *)
+(*                          Project MoWGLI (http://mowgli.cs.unibo.it)        *)
+(*                                                                            *)
+(*                     Coq Exportation to XML                                 *)
+(*                                                                            *)
+(******************************************************************************)
+
 This Coq module has been developed by Claudio Sacerdoti Coen
-<sacerdot@cs.unibo.it> as a member of project HELM, to provide XML files
-to be used in the project.
+<sacerdot@cs.unibo.it> as a developer of projects HELM and MoWGLI.
+
 Project HELM (for Hypertextual Electronic Library of Mathematics) is a
 project developed at the Department of Computer Science, University of Bologna;
-http://www.cs.unibo.it/helm
+http://helm.cs.unibo.it
+
+Project MoWGLI (Mathematics on the Web: Get It by Logics and Interfaces)
+is a UE IST project that generalizes and extends the HELM project;
+http://mowgli.cs.unibo.it
 
-The author is interested in any other possible usage of the module.
-So, if you plan to use the module in other projects/development, please
-send him an e-mail.
+The author is interested in any possible usage of the module.
+So, if you plan to use the module, please send him an e-mail.
 
 The licensing policy applied to the module is the same as for the whole Coq
 distribution.