blob: 824838309cc22f938cd0df4329d20aa79038a8e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
(*****************************************************************************)
(* *)
(* Coq support for the Pcoq and tmEgg Graphical Interfaces of Coq *)
(* *)
(* Copyright (C) 1999-2004 INRIA Sophia-Antipolis (Lemme team) *)
(* Copyright (C) 2006,2007 Lionel Elie Mamane *)
(* *)
(*****************************************************************************)
The current directory plugins/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.
Modifications by Lionel Elie Mamane <lionel@mamane.lu> for
generalising the protocol to suit other Coq interfaces.
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.
|
