Imported Upstream version 8.2~beta3+dfsgupstream/8.2.beta3+dfsg

1 files changed, 7 insertions, 0 deletions

diff --git a/COPYRIGHT b/COPYRIGHT
index ac7d87df..2cbb6fbc 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -5,6 +5,13 @@ University Paris Sud.
 Copyright 1999-2004 The Coq development team, 
 INRIA-CNRS, University Paris Sud, All rights reserved.
 
+This version contains modifications by Lionel Elie Mamane
+<lionel@mamane.lu> done while under employment of the Radboud
+University Nijmegen. However, no copyright-assignment-to-employer
+agreement was signed, and copyright of articles and books written on
+work time rest with the employee. By analogy, it is Lionel's opinion
+that copyright on these changes rests with him.
+
 This product includes also software developed by
 	Yves Bertot, Lemme, INRIA Sophia-Antipolis (contrib/interface,
 parsing/search.ml)