coq/plugins/interface/COPYRIGHT, branch master The formal proof system Remove interface plugin 2009-12-02T08:36:14+00:00 glondu 2009-12-02T08:36:14+00:00 3cb4411089c18351d57685f9abe455d3f61f308f 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 
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
Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs 2009-03-20T01:22:58+00:00 letouzey 2009-03-20T01:22:58+00:00 7d220f8b61649646692983872626d6a8042446a9 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7 
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7