coq/COPYRIGHT, branch master

Remove redundant COPYRIGHT file.

2018-02-21T16:25:11+00:00

This information is already present in CREDITS.

Merge branch 'v8.5' into v8.6

2016-07-13T14:58:37+00:00

Update COPYRIGHT.

2016-07-08T08:45:35+00:00

ssrmatching: giving proper credits to the original author(s)

2016-06-15T16:52:24+00:00

Following CeCILL-B 5.3.2, we are allowed to redistribute the
software under the same license of Coq as long as we credit.

Refresh some copyright headers.

2015-01-13T11:28:00+00:00

Fixed #2789.

2012-05-25T09:56:20+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15360 85f007b7-540e-0410-9357-904b9bb8a0f7

Version number, copyright, credits: missing updates.

2011-12-25T17:03:02+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14862 85f007b7-540e-0410-9357-904b9bb8a0f7

Updated COPYRIGHT file and header. Improved and fixed header updater.

2010-07-24T15:56:00+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13322 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

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7

- Standardized prefix use of "Local"/"Global" modifiers as decided in

2009-01-13T20:10:55+00:00

  late 2008 Coq WG.
- Updated Copyright file wrt JProver.



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11781 85f007b7-540e-0410-9357-904b9bb8a0f7