Skip to content

Commit d90a5d4

Browse files
maximedenesmaximedenes
committed
Update headers.
1 parent 1c6e7d3 commit d90a5d4

File tree

1,178 files changed

+1178
-1178
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,178 files changed

+1178
-1178
lines changed

‎checker/check.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/check_stat.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/check_stat.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/checker.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/cic.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/closure.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/closure.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/indtypes.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/indtypes.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/inductive.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/inductive.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/mod_checking.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/modops.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/modops.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/print.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/reduction.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/reduction.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/safe_typing.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/safe_typing.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/subtyping.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/subtyping.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/term.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/type_errors.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/type_errors.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/typeops.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/typeops.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/univ.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/univ.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/validate.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/values.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎checker/votour.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎config/coq_config.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎dev/db_printers.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎dev/top_printers.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎grammar/argextend.ml4

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎grammar/q_constr.ml4

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

‎grammar/q_coqast.ml4

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
(************************************************************************)
22
(* v * The Coq Proof Assistant / The Coq Development Team *)
3-
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
3+
(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
44
(* \VV/ **************************************************************)
55
(* // * This file is distributed under the terms of the *)
66
(* * GNU Lesser General Public License Version 2.1 *)

0 commit comments

Comments
 (0)