summaryrefslogtreecommitdiff
path: root/contrib/interface/COPYRIGHT
blob: 2fb11c6bcf15be82a7699493e12acb179dd3f328 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(*****************************************************************************)
(*                                                                           *)
(*            Coq support for the Pcoq Graphical Interface of Coq            *)
(*                                                                           *)
(*        Copyright (C) 1999-2004 INRIA Sophia-Antipolis (Lemme team)        *)
(*                                                                           *)
(*****************************************************************************)

The current directory contrib/interface implements Coq support for the
Pcoq Graphical Interface of Coq. It has been developed by Yves Bertot
with contributions from Lo�c Pottier and Laurence Rideau.

The Pcoq Graphical Interface (see http://www-sop.inria.fr/lemme/pcoq)
is developed by the Lemme team at INRIA Sophia-Antipolis (see
http://www-sop.inria.fr/lemme)

The files of the current directory are distributed under the terms of
the GNU Lesser General Public License Version 2.1.