diff options
| author | glondu | 2009-12-02 08:36:14 +0000 |
|---|---|---|
| committer | glondu | 2009-12-02 08:36:14 +0000 |
| commit | 3cb4411089c18351d57685f9abe455d3f61f308f (patch) | |
| tree | c23e0d757eee079722f4fcc92b37e69c4ff4ef81 /plugins/interface/COPYRIGHT | |
| parent | 3e253de6854b139a8a1be76af2388ffa9a3dcdb2 (diff) | |
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
Diffstat (limited to 'plugins/interface/COPYRIGHT')
| -rw-r--r-- | plugins/interface/COPYRIGHT | 23 |
1 files changed, 0 insertions, 23 deletions
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 <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. - |