diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-08-01 14:47:00 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-08-01 14:47:00 +0000 |
| commit | 3dd2fee2ee2d30c789df6e8cd751e4bfb24323c0 (patch) | |
| tree | ebc27d73d4f17eaec7305b42f7d835d3002ad10b | |
| parent | 4a8f35537433b4e17e33071667e63db4856d8196 (diff) | |
| download | ocaml-3dd2fee2ee2d30c789df6e8cd751e4bfb24323c0.tar.gz | |
fix formatting of copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12808 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
98 files changed, 153 insertions, 0 deletions
diff --git a/ocamlbuild/bool.ml b/ocamlbuild/bool.ml index d31944c1c0..56dec3b04f 100644 --- a/ocamlbuild/bool.ml +++ b/ocamlbuild/bool.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/bool.mli b/ocamlbuild/bool.mli index 59ead55a48..8ebbd44070 100644 --- a/ocamlbuild/bool.mli +++ b/ocamlbuild/bool.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/command.ml b/ocamlbuild/command.ml index 1ce80c9743..9e43c5f3c7 100644 --- a/ocamlbuild/command.ml +++ b/ocamlbuild/command.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/command.mli b/ocamlbuild/command.mli index f54b8e8ac1..18547a459c 100644 --- a/ocamlbuild/command.mli +++ b/ocamlbuild/command.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/configuration.ml b/ocamlbuild/configuration.ml index 7a4f2f4fbd..ffdd0392bc 100644 --- a/ocamlbuild/configuration.ml +++ b/ocamlbuild/configuration.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/configuration.mli b/ocamlbuild/configuration.mli index 745dcc2690..7dbb12a085 100644 --- a/ocamlbuild/configuration.mli +++ b/ocamlbuild/configuration.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/digest_cache.ml b/ocamlbuild/digest_cache.ml index 5f624afcc4..319e7d0665 100644 --- a/ocamlbuild/digest_cache.ml +++ b/ocamlbuild/digest_cache.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/digest_cache.mli b/ocamlbuild/digest_cache.mli index 7fb389eb42..d10627a251 100644 --- a/ocamlbuild/digest_cache.mli +++ b/ocamlbuild/digest_cache.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/discard_printf.ml b/ocamlbuild/discard_printf.ml index b48b43c253..8adc83e8cc 100644 --- a/ocamlbuild/discard_printf.ml +++ b/ocamlbuild/discard_printf.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/discard_printf.mli b/ocamlbuild/discard_printf.mli index 255f5d1aa8..a3d2a01218 100644 --- a/ocamlbuild/discard_printf.mli +++ b/ocamlbuild/discard_printf.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/display.ml b/ocamlbuild/display.ml index 11586662f9..e35e274984 100644 --- a/ocamlbuild/display.ml +++ b/ocamlbuild/display.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/display.mli b/ocamlbuild/display.mli index fd0b066d2e..4dc399b17f 100644 --- a/ocamlbuild/display.mli +++ b/ocamlbuild/display.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/examples/example1/hello.ml b/ocamlbuild/examples/example1/hello.ml index c85cb66b87..f21b6ae138 100644 --- a/ocamlbuild/examples/example1/hello.ml +++ b/ocamlbuild/examples/example1/hello.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + let _ = Printf.printf "Hello, %s ! My name is %s\n" (if Array.length Sys.argv > 1 then Sys.argv.(1) else "stranger") diff --git a/ocamlbuild/examples/example2/greet.ml b/ocamlbuild/examples/example2/greet.ml index ec8088916e..84f1e28f2b 100644 --- a/ocamlbuild/examples/example2/greet.ml +++ b/ocamlbuild/examples/example2/greet.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + type how = Nicely | Badly;; let greet how who = diff --git a/ocamlbuild/examples/example2/hello.ml b/ocamlbuild/examples/example2/hello.ml index b48806a3db..4dee0a7037 100644 --- a/ocamlbuild/examples/example2/hello.ml +++ b/ocamlbuild/examples/example2/hello.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + open Greet let _ = diff --git a/ocamlbuild/examples/example3/epoch.ml b/ocamlbuild/examples/example3/epoch.ml index ad95a0394f..0d235d1637 100644 --- a/ocamlbuild/examples/example3/epoch.ml +++ b/ocamlbuild/examples/example3/epoch.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* ocamlbuild *) +(* *) +(* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2007 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + let _ = let s = Num.num_of_string (Printf.sprintf "%.0f" (Unix.gettimeofday ())) in let ps = Num.mult_num (Num.num_of_string "1000000000000") s in diff --git a/ocamlbuild/examples/example3/make.sh b/ocamlbuild/examples/example3/make.sh index 3588a713fc..e64152e11b 100755 --- a/ocamlbuild/examples/example3/make.sh +++ b/ocamlbuild/examples/example3/make.sh @@ -1,5 +1,17 @@ #!/bin/sh +######################################################################### +# # +# OCaml # +# # +# Nicolas Pouillard, projet Gallium, INRIA Rocquencourt # +# # +# Copyright 2007 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + set -e TARGET=epoch diff --git a/ocamlbuild/exit_codes.ml b/ocamlbuild/exit_codes.ml index 71c9f06f26..10a3ac9985 100644 --- a/ocamlbuild/exit_codes.ml +++ b/ocamlbuild/exit_codes.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/exit_codes.mli b/ocamlbuild/exit_codes.mli index a83a300b60..cfbc3e253c 100644 --- a/ocamlbuild/exit_codes.mli +++ b/ocamlbuild/exit_codes.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/fda.ml b/ocamlbuild/fda.ml index d359f78194..8877e0c619 100644 --- a/ocamlbuild/fda.ml +++ b/ocamlbuild/fda.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/fda.mli b/ocamlbuild/fda.mli index c86d685721..40103f99d3 100644 --- a/ocamlbuild/fda.mli +++ b/ocamlbuild/fda.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/findlib.ml b/ocamlbuild/findlib.ml index b5ef878108..06819f3547 100644 --- a/ocamlbuild/findlib.ml +++ b/ocamlbuild/findlib.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/findlib.mli b/ocamlbuild/findlib.mli index 41275844cb..8bb29a80f4 100644 --- a/ocamlbuild/findlib.mli +++ b/ocamlbuild/findlib.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/flags.ml b/ocamlbuild/flags.ml index 0423ec43ab..9999f835c4 100644 --- a/ocamlbuild/flags.ml +++ b/ocamlbuild/flags.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/flags.mli b/ocamlbuild/flags.mli index 5e0e637df5..13c5436a73 100644 --- a/ocamlbuild/flags.mli +++ b/ocamlbuild/flags.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob.ml b/ocamlbuild/glob.ml index 7cb6127feb..605cebb8d2 100644 --- a/ocamlbuild/glob.ml +++ b/ocamlbuild/glob.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob.mli b/ocamlbuild/glob.mli index f047c5b6d2..b13a6fc2d7 100644 --- a/ocamlbuild/glob.mli +++ b/ocamlbuild/glob.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob_ast.ml b/ocamlbuild/glob_ast.ml index a4efaeddbe..435033adaf 100644 --- a/ocamlbuild/glob_ast.ml +++ b/ocamlbuild/glob_ast.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob_ast.mli b/ocamlbuild/glob_ast.mli index 9c77862456..b6f7b282d0 100644 --- a/ocamlbuild/glob_ast.mli +++ b/ocamlbuild/glob_ast.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob_lexer.mli b/ocamlbuild/glob_lexer.mli index 245870ecad..724c237cd9 100644 --- a/ocamlbuild/glob_lexer.mli +++ b/ocamlbuild/glob_lexer.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/glob_lexer.mll b/ocamlbuild/glob_lexer.mll index 05d199d6f1..5bc35c18c8 100644 --- a/ocamlbuild/glob_lexer.mll +++ b/ocamlbuild/glob_lexer.mll @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/hooks.ml b/ocamlbuild/hooks.ml index e7fd50d501..4dfcf292c4 100644 --- a/ocamlbuild/hooks.ml +++ b/ocamlbuild/hooks.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/hooks.mli b/ocamlbuild/hooks.mli index aced084dde..92f9a0e7f2 100644 --- a/ocamlbuild/hooks.mli +++ b/ocamlbuild/hooks.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/hygiene.ml b/ocamlbuild/hygiene.ml index 33c01ed13c..9a52cd9476 100644 --- a/ocamlbuild/hygiene.ml +++ b/ocamlbuild/hygiene.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/hygiene.mli b/ocamlbuild/hygiene.mli index 3342038203..1dd55f8a59 100644 --- a/ocamlbuild/hygiene.mli +++ b/ocamlbuild/hygiene.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/lexers.mli b/ocamlbuild/lexers.mli index bc5de4cfb1..d962d5cb06 100644 --- a/ocamlbuild/lexers.mli +++ b/ocamlbuild/lexers.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/lexers.mll b/ocamlbuild/lexers.mll index 2206f862c0..45029b356f 100644 --- a/ocamlbuild/lexers.mll +++ b/ocamlbuild/lexers.mll @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/log.ml b/ocamlbuild/log.ml index 2fd2b2b1cf..380c9a59a9 100644 --- a/ocamlbuild/log.ml +++ b/ocamlbuild/log.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/log.mli b/ocamlbuild/log.mli index 8f4167bfef..a414608a6e 100644 --- a/ocamlbuild/log.mli +++ b/ocamlbuild/log.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/main.ml b/ocamlbuild/main.ml index 3b9bd8927b..fcda4516c1 100644 --- a/ocamlbuild/main.ml +++ b/ocamlbuild/main.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/main.mli b/ocamlbuild/main.mli index c401be7d62..d9e781f8c1 100644 --- a/ocamlbuild/main.mli +++ b/ocamlbuild/main.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/man/ocamlbuild.1 b/ocamlbuild/man/ocamlbuild.1 index 918c598102..1f0c6855c8 100644 --- a/ocamlbuild/man/ocamlbuild.1 +++ b/ocamlbuild/man/ocamlbuild.1 @@ -1,4 +1,5 @@ .\"***********************************************************************) +.\"* *) .\"* ocamlbuild *) .\"* *) .\"* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/misc/opentracer.ml b/ocamlbuild/misc/opentracer.ml index 38a13502bd..f6dcc1f375 100644 --- a/ocamlbuild/misc/opentracer.ml +++ b/ocamlbuild/misc/opentracer.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/my_std.ml b/ocamlbuild/my_std.ml index a7839d059d..caebe6aca2 100644 --- a/ocamlbuild/my_std.ml +++ b/ocamlbuild/my_std.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/my_std.mli b/ocamlbuild/my_std.mli index f2847db355..403c4e9616 100644 --- a/ocamlbuild/my_std.mli +++ b/ocamlbuild/my_std.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/my_unix.ml b/ocamlbuild/my_unix.ml index a54f05bf23..43692d3219 100644 --- a/ocamlbuild/my_unix.ml +++ b/ocamlbuild/my_unix.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/my_unix.mli b/ocamlbuild/my_unix.mli index b1acd3a62d..c7ee6e81cf 100644 --- a/ocamlbuild/my_unix.mli +++ b/ocamlbuild/my_unix.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_arch.ml b/ocamlbuild/ocaml_arch.ml index 5563dddd2b..cb5b7802f3 100644 --- a/ocamlbuild/ocaml_arch.ml +++ b/ocamlbuild/ocaml_arch.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_arch.mli b/ocamlbuild/ocaml_arch.mli index ffdc4eddc8..6739e8ff3d 100644 --- a/ocamlbuild/ocaml_arch.mli +++ b/ocamlbuild/ocaml_arch.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_compiler.ml b/ocamlbuild/ocaml_compiler.ml index 6a3b9ba6b9..8e65f00d20 100644 --- a/ocamlbuild/ocaml_compiler.ml +++ b/ocamlbuild/ocaml_compiler.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_compiler.mli b/ocamlbuild/ocaml_compiler.mli index 608f03341e..667191af28 100644 --- a/ocamlbuild/ocaml_compiler.mli +++ b/ocamlbuild/ocaml_compiler.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_dependencies.ml b/ocamlbuild/ocaml_dependencies.ml index c6c8efeb93..de2c11fab4 100644 --- a/ocamlbuild/ocaml_dependencies.ml +++ b/ocamlbuild/ocaml_dependencies.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_dependencies.mli b/ocamlbuild/ocaml_dependencies.mli index 5c1ebfe66c..b9e7812b70 100644 --- a/ocamlbuild/ocaml_dependencies.mli +++ b/ocamlbuild/ocaml_dependencies.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_specific.ml b/ocamlbuild/ocaml_specific.ml index 05343de13e..429a94c727 100644 --- a/ocamlbuild/ocaml_specific.ml +++ b/ocamlbuild/ocaml_specific.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_specific.mli b/ocamlbuild/ocaml_specific.mli index 42e512c744..54cd7fac1b 100644 --- a/ocamlbuild/ocaml_specific.mli +++ b/ocamlbuild/ocaml_specific.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_tools.ml b/ocamlbuild/ocaml_tools.ml index f68aff42ad..b5875f954a 100644 --- a/ocamlbuild/ocaml_tools.ml +++ b/ocamlbuild/ocaml_tools.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_tools.mli b/ocamlbuild/ocaml_tools.mli index 542573de1f..38d36e3a8a 100644 --- a/ocamlbuild/ocaml_tools.mli +++ b/ocamlbuild/ocaml_tools.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_utils.ml b/ocamlbuild/ocaml_utils.ml index 7726825c19..bc2ddfb44e 100644 --- a/ocamlbuild/ocaml_utils.ml +++ b/ocamlbuild/ocaml_utils.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocaml_utils.mli b/ocamlbuild/ocaml_utils.mli index 259a527f54..5154a1ac6f 100644 --- a/ocamlbuild/ocaml_utils.mli +++ b/ocamlbuild/ocaml_utils.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild.ml b/ocamlbuild/ocamlbuild.ml index d3b8251872..ce0f56f4de 100644 --- a/ocamlbuild/ocamlbuild.ml +++ b/ocamlbuild/ocamlbuild.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild.mli b/ocamlbuild/ocamlbuild.mli index 7e5aa0bf45..83cab501a2 100644 --- a/ocamlbuild/ocamlbuild.mli +++ b/ocamlbuild/ocamlbuild.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_executor.ml b/ocamlbuild/ocamlbuild_executor.ml index 9798e052dd..53fcad1201 100644 --- a/ocamlbuild/ocamlbuild_executor.ml +++ b/ocamlbuild/ocamlbuild_executor.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_executor.mli b/ocamlbuild/ocamlbuild_executor.mli index fc25badc45..063b91eed1 100644 --- a/ocamlbuild/ocamlbuild_executor.mli +++ b/ocamlbuild/ocamlbuild_executor.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_plugin.ml b/ocamlbuild/ocamlbuild_plugin.ml index ccbc07984d..9f0de1be80 100644 --- a/ocamlbuild/ocamlbuild_plugin.ml +++ b/ocamlbuild/ocamlbuild_plugin.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_plugin.mli b/ocamlbuild/ocamlbuild_plugin.mli index 0844b4d7ca..f94f325f8a 100644 --- a/ocamlbuild/ocamlbuild_plugin.mli +++ b/ocamlbuild/ocamlbuild_plugin.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_unix_plugin.ml b/ocamlbuild/ocamlbuild_unix_plugin.ml index cb2f0101ae..9966c4dc0f 100644 --- a/ocamlbuild/ocamlbuild_unix_plugin.ml +++ b/ocamlbuild/ocamlbuild_unix_plugin.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_unix_plugin.mli b/ocamlbuild/ocamlbuild_unix_plugin.mli index 24269e5a87..ecc4f62d0d 100644 --- a/ocamlbuild/ocamlbuild_unix_plugin.mli +++ b/ocamlbuild/ocamlbuild_unix_plugin.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_where.ml b/ocamlbuild/ocamlbuild_where.ml index d65b41edca..a05230a51a 100644 --- a/ocamlbuild/ocamlbuild_where.ml +++ b/ocamlbuild/ocamlbuild_where.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuild_where.mli b/ocamlbuild/ocamlbuild_where.mli index eb4c0727b0..6fa56787ea 100644 --- a/ocamlbuild/ocamlbuild_where.mli +++ b/ocamlbuild/ocamlbuild_where.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuildlight.ml b/ocamlbuild/ocamlbuildlight.ml index 7fabd81dc7..f822687595 100644 --- a/ocamlbuild/ocamlbuildlight.ml +++ b/ocamlbuild/ocamlbuildlight.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ocamlbuildlight.mli b/ocamlbuild/ocamlbuildlight.mli index 38ffd97963..9f4d063d89 100644 --- a/ocamlbuild/ocamlbuildlight.mli +++ b/ocamlbuild/ocamlbuildlight.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/options.ml b/ocamlbuild/options.ml index 1be4b6360f..f7b2e1168e 100644 --- a/ocamlbuild/options.ml +++ b/ocamlbuild/options.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/options.mli b/ocamlbuild/options.mli index 7e07748bd2..7fe5607c4c 100644 --- a/ocamlbuild/options.mli +++ b/ocamlbuild/options.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/param_tags.ml b/ocamlbuild/param_tags.ml index 02001dedb7..2e21ed6028 100644 --- a/ocamlbuild/param_tags.ml +++ b/ocamlbuild/param_tags.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/param_tags.mli b/ocamlbuild/param_tags.mli index a0047af168..bc18abd55e 100644 --- a/ocamlbuild/param_tags.mli +++ b/ocamlbuild/param_tags.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/pathname.ml b/ocamlbuild/pathname.ml index d535488d61..7852bf4b29 100644 --- a/ocamlbuild/pathname.ml +++ b/ocamlbuild/pathname.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/pathname.mli b/ocamlbuild/pathname.mli index 1ba9badc58..4f77e6a42d 100644 --- a/ocamlbuild/pathname.mli +++ b/ocamlbuild/pathname.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/plugin.ml b/ocamlbuild/plugin.ml index 4180755be4..586b1ced17 100644 --- a/ocamlbuild/plugin.ml +++ b/ocamlbuild/plugin.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/plugin.mli b/ocamlbuild/plugin.mli index 863de8dfc5..1f822d6dc5 100644 --- a/ocamlbuild/plugin.mli +++ b/ocamlbuild/plugin.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ppcache.ml b/ocamlbuild/ppcache.ml index 1b576004fb..2682f3e1ae 100644 --- a/ocamlbuild/ppcache.ml +++ b/ocamlbuild/ppcache.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/ppcache.mli b/ocamlbuild/ppcache.mli index d59015f57a..35f3614b40 100644 --- a/ocamlbuild/ppcache.mli +++ b/ocamlbuild/ppcache.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/report.ml b/ocamlbuild/report.ml index e9c5d50306..439a270fed 100644 --- a/ocamlbuild/report.ml +++ b/ocamlbuild/report.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/report.mli b/ocamlbuild/report.mli index 16785d701a..1344855845 100644 --- a/ocamlbuild/report.mli +++ b/ocamlbuild/report.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/resource.ml b/ocamlbuild/resource.ml index ed90d1cff6..2ef42487ee 100644 --- a/ocamlbuild/resource.ml +++ b/ocamlbuild/resource.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/resource.mli b/ocamlbuild/resource.mli index 4822768b52..0ec15d36e7 100644 --- a/ocamlbuild/resource.mli +++ b/ocamlbuild/resource.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/rule.ml b/ocamlbuild/rule.ml index 8352f6ae53..ca1a39ddd5 100644 --- a/ocamlbuild/rule.ml +++ b/ocamlbuild/rule.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/rule.mli b/ocamlbuild/rule.mli index 16af0f6fef..0acb125c96 100644 --- a/ocamlbuild/rule.mli +++ b/ocamlbuild/rule.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/shell.ml b/ocamlbuild/shell.ml index 3fbeb81aa7..244699e195 100644 --- a/ocamlbuild/shell.ml +++ b/ocamlbuild/shell.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/shell.mli b/ocamlbuild/shell.mli index 2d867b032d..b5abd85d17 100644 --- a/ocamlbuild/shell.mli +++ b/ocamlbuild/shell.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/signatures.mli b/ocamlbuild/signatures.mli index 3b6c44eca9..02d46261c2 100644 --- a/ocamlbuild/signatures.mli +++ b/ocamlbuild/signatures.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/slurp.ml b/ocamlbuild/slurp.ml index e807ff7fd5..d6c2846ad5 100644 --- a/ocamlbuild/slurp.ml +++ b/ocamlbuild/slurp.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/slurp.mli b/ocamlbuild/slurp.mli index a3a141d8eb..45d34fc7cb 100644 --- a/ocamlbuild/slurp.mli +++ b/ocamlbuild/slurp.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/solver.ml b/ocamlbuild/solver.ml index 94b3d930e6..aaaa36b088 100644 --- a/ocamlbuild/solver.ml +++ b/ocamlbuild/solver.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/solver.mli b/ocamlbuild/solver.mli index b2ec495255..5f47a65207 100644 --- a/ocamlbuild/solver.mli +++ b/ocamlbuild/solver.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/tags.ml b/ocamlbuild/tags.ml index 811657accd..7f103b7914 100644 --- a/ocamlbuild/tags.ml +++ b/ocamlbuild/tags.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/tags.mli b/ocamlbuild/tags.mli index dadf9afabf..1fd1285b8a 100644 --- a/ocamlbuild/tags.mli +++ b/ocamlbuild/tags.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/tools.ml b/ocamlbuild/tools.ml index d72278e7c1..ce28c9709b 100644 --- a/ocamlbuild/tools.ml +++ b/ocamlbuild/tools.ml @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) diff --git a/ocamlbuild/tools.mli b/ocamlbuild/tools.mli index 974ff1adbf..9c2763f9af 100644 --- a/ocamlbuild/tools.mli +++ b/ocamlbuild/tools.mli @@ -1,4 +1,5 @@ (***********************************************************************) +(* *) (* ocamlbuild *) (* *) (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *) |