diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-01-13 12:28:00 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-01-13 12:28:00 +0100 |
commit | 2ae01e839df66f13ff1d3bc974cea50a33126c59 (patch) | |
tree | dc5c25579f1c93210d6f99afdb6d4adc836c07be /COPYRIGHT | |
parent | 7891caa52489dd6cabb79f7dc4a1dc7f2a079bf1 (diff) |
Refresh some copyright headers.
Diffstat (limited to 'COPYRIGHT')
-rw-r--r-- | COPYRIGHT | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ The Coq proof assistant -Copyright 1999-2011 The Coq development team, INRIA, CNRS, University +Copyright 1999-2015 The Coq development team, INRIA, CNRS, University Paris Sud, University Paris 7, Ecole Polytechnique. This product includes also software developed by |