From 3cb4411089c18351d57685f9abe455d3f61f308f Mon Sep 17 00:00:00 2001 From: glondu Date: Wed, 2 Dec 2009 08:36:14 +0000 Subject: Remove interface plugin It has moved to the contribs (Sophia-Antipolis/Interface). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12555 85f007b7-540e-0410-9357-904b9bb8a0f7 --- plugins/interface/COPYRIGHT | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 plugins/interface/COPYRIGHT (limited to 'plugins/interface/COPYRIGHT') diff --git a/plugins/interface/COPYRIGHT b/plugins/interface/COPYRIGHT deleted file mode 100644 index 824838309c..0000000000 --- a/plugins/interface/COPYRIGHT +++ /dev/null @@ -1,23 +0,0 @@ -(*****************************************************************************) -(* *) -(* 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 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. - -- cgit v1.2.3