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