aboutsummaryrefslogtreecommitdiffhomepage
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.