From dcadbeec1234fa8eacf528d088adb0e523077b9c Mon Sep 17 00:00:00 2001 From: sacerdot Date: Thu, 25 Mar 2004 13:22:26 +0000 Subject: Updated. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5565 85f007b7-540e-0410-9357-904b9bb8a0f7 --- contrib/xml/COPYRIGHT | 24 ++++++++++++++++++------ 1 file changed, 18 insertions(+), 6 deletions(-) (limited to 'contrib/xml/COPYRIGHT') 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 *) +(* 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 - as a member of project HELM, to provide XML files -to be used in the project. + 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. -- cgit v1.2.3