From a99776e10e0b2198d2b811ad82631111fb450f8a Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 18 Mar 2020 12:14:26 +0100 Subject: Update headers in the whole code base. Add headers to a few files which were missing them. --- plugins/syntax/float_syntax.ml | 10 ++++++---- plugins/syntax/g_numeral.mlg | 4 ++-- plugins/syntax/g_string.mlg | 4 ++-- plugins/syntax/int63_syntax.ml | 4 ++-- plugins/syntax/numeral.ml | 4 ++-- plugins/syntax/numeral.mli | 4 ++-- plugins/syntax/r_syntax.ml | 4 ++-- plugins/syntax/r_syntax.mli | 4 ++-- plugins/syntax/string_notation.ml | 4 ++-- plugins/syntax/string_notation.mli | 4 ++-- 10 files changed, 24 insertions(+), 22 deletions(-) (limited to 'plugins/syntax') diff --git a/plugins/syntax/float_syntax.ml b/plugins/syntax/float_syntax.ml index 3c2e217d1c..23d4d63228 100644 --- a/plugins/syntax/float_syntax.ml +++ b/plugins/syntax/float_syntax.ml @@ -1,9 +1,11 @@ (************************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(*