← Back to branch summary

~ubuntu-branches/ubuntu/hardy/coq-doc/hardy

« back to all changes in this revision

Viewing changes to debian/copyright

  • Committer: Bazaar Package Importer
  • Author(s): Judicaël Courant
  • Date: 2002-04-18 15:08:00 UTC
  • Revision ID: james.westby@ubuntu.com-20020418150800-h7tmjzwjli3y5vub
Tags: 7.2-1
* New upstream version.
* New maintainer.

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/copyright
 
1
This package was debianized by Fernando Sanchez <fer@debian.org> on
 
2
Sun, 28 Nov 1999 19:42:06 +0100.
 
3
 
 
4
It was downloaded from ftp://ftp.inria.fr/INRIA/coq/V6.3.1/doc/
 
5
 
 
6
The "Coq proof assistant" was developed conjointly by
 
7
        INRIA (since 1985),
 
8
        Laboratoire de l'Informatique du Parallelisme LIP
 
9
        associated to CNRS and ENS Lyon (sept.89-sept.97),
 
10
        Laboratoire de Recherche en Informatique
 
11
        associated to CNRS and Paris 11 (since sept. 97).
 
12
 
 
13
The following people have contributed to the core of the system
 
14
during the indicated time :
 
15
 
 
16
        Bruno Barras,    (INRIA, 1995-1999)
 
17
        Cristina Cornes, (INRIA, 1993-1996)
 
18
        David Delahaye,  (INRIA, 1997-1999)
 
19
        Daniel de Rauglaudre, (INRIA, 1996-1998)
 
20
        Jean-Christophe Filli�tre, (ENS Lyon, 1994-1997) (Paris 11,1997-1999)
 
21
        Eduardo Gim�nez, (ENS Lyon, 1993-1996, INRIA, 1997-1998)
 
22
        Hugo Herbelin, (INRIA, 1996-1999)
 
23
        G�rard Huet, (INRIA, 1985-1997)
 
24
        C�sar Mu�oz, (INRIA, 1994-1995)
 
25
        Chetan Murthy, (INRIA, 1992-1994)
 
26
        Catherine Parent-Vigouroux, (ENS Lyon 1992-1995)
 
27
        Patrick Loiseleur, (Paris 11, 1997-1999)
 
28
        Christine Paulin-Mohring, (INRIA, 1985-1989) (ENS Lyon, 1989-1997)
 
29
                                  (Paris 11, 1997-1999)
 
30
        Amokrane Sa�bi, (INRIA, 1993-1998)
 
31
 
 
32
The following directories contain independent contributions:
 
33
tactics/contrib/eqdecide
 
34
        developed by Eduardo Gimenez (INRIA, 1997-1998)
 
35
tactics/contrib/extraction
 
36
        developed by Benjamin Werner (INRIA, 1989)
 
37
                  and Jean-Christophe Filliatre (ENS Lyon, 1994-1997)
 
38
tactics/contrib/linear
 
39
        developed by Jean-Christophe Filliatre (ENS Lyon, 1994-1997)
 
40
tactics/contrib/natural
 
41
        developed by Yann Coscoy (INRIA, 1996)
 
42
tactics/contrib/omega
 
43
        developed by Pierre Cregut (CNET-France Telecom, 1996)
 
44
tactics/contrib/pcoq
 
45
        developed by Yves Bertot (INRIA, 1996-1999)
 
46
tactics/contrib/polynom
 
47
        developed by Samuel Boutin (INRIA, 1996)
 
48
                  and Patrick Loiseleur (LRI, 1997-1999)
 
49
tactics/programs
 
50
        developed by Jean-Christophe Filliatre (LRI, 1997-1999)
 
51
theories/REALS
 
52
        developed by Micaela Mayero (INRIA, 1997-1999)
 
53
***************************************************************************
 
54
INRIA refers to :
 
55
        Institute National de la Recherche en Informatique et Automatique
 
56
CNRS refers to :
 
57
        Centre National de la Recherche Scientifique
 
58
Paris 11 refers to :
 
59
        Universite Paris Sud
 
60
ENS Lyon refers to :
 
61
        Ecole Normale Superieure de Lyon
 
62
****************************************************************************
 
63
 
 
64
 
 
65
This documentation is freely available in the ftp site above, or online in
 
66
the Coq web site: http://coq.inria.fr
 
67
 
 
68
Copyright:
 
69
 
 
70
All files of the "Coq proof assistant" in directories or sub-directories of
 
71
        src, tactics, theories, tools
 
72
are distributed under the terms of the GNU Lesser General Public License
 
73
Version 2.1.
 
74
 
 
75
See /usr/share/common-licenses/LGPL-2.1