File: COPYRIGHT

package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327
file content (27 lines) | stat: -rw-r--r-- 1,314 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
The Coq proof assistant V7 and V8 includes software developed by the
Coq development team inside the TypiCal (formerly LogiCal) project, at
INRIA, CNRS and 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)
	Pierre Cr�gut, France Telecom R & D (contrib/omega and contrib/romega)
	Pierre Courtieu, Lemme (contrib/funind)
	Lo�c Pottier, Lemme, INRIA Sophia-Antipolis (contrib/fourier)
	Claudio Sacerdoti Coen, HELM, University of Bologna, (contrib/xml)
	Lionel Mamane, Radbout University, Nijmegen (additions to contrib/interface)
	Cezary Kalyczyc, Radbout University, Nijmegen (additions to contrib/xml)

The file CREDITS contains a list of past contributors
The credits section in Reference Manual introduction details
contributions.