diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-07-27 14:17:02 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-07-27 14:17:02 +0000 |
| commit | 3b507dd1aa286684543a35cc7da763feebf9aa8d (patch) | |
| tree | 9440970c6915ebe15feb48569b19382d952ba564 /bytecomp | |
| parent | db1e7c7e2332b71510285bbd5f0760870087bce6 (diff) | |
| download | ocaml-3b507dd1aa286684543a35cc7da763feebf9aa8d.tar.gz | |
renaming of Objective Caml to OCaml and cleanup of copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'bytecomp')
44 files changed, 44 insertions, 44 deletions
diff --git a/bytecomp/bytegen.ml b/bytecomp/bytegen.ml index b6c8f6fae8..9773f0b7c9 100644 --- a/bytecomp/bytegen.ml +++ b/bytecomp/bytegen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytegen.mli b/bytecomp/bytegen.mli index 04265fde30..e0cd5f6179 100644 --- a/bytecomp/bytegen.mli +++ b/bytecomp/bytegen.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytelibrarian.ml b/bytecomp/bytelibrarian.ml index ba08fc019f..62d900023d 100644 --- a/bytecomp/bytelibrarian.ml +++ b/bytecomp/bytelibrarian.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytelibrarian.mli b/bytecomp/bytelibrarian.mli index a4f9cc2f29..a4250f96d7 100644 --- a/bytecomp/bytelibrarian.mli +++ b/bytecomp/bytelibrarian.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 15c6f7f58e..794a0acb4a 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytelink.mli b/bytecomp/bytelink.mli index 2e8f0cb313..375bde0d5d 100644 --- a/bytecomp/bytelink.mli +++ b/bytecomp/bytelink.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytepackager.ml b/bytecomp/bytepackager.ml index e2b6ff54bb..eee60f0f48 100644 --- a/bytecomp/bytepackager.ml +++ b/bytecomp/bytepackager.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytepackager.mli b/bytecomp/bytepackager.mli index 836eb9c637..2a599d9f98 100644 --- a/bytecomp/bytepackager.mli +++ b/bytecomp/bytepackager.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytesections.ml b/bytecomp/bytesections.ml index 16eaf23776..342f071414 100644 --- a/bytecomp/bytesections.ml +++ b/bytecomp/bytesections.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/bytesections.mli b/bytecomp/bytesections.mli index 5292cc1b4a..c9264ad899 100644 --- a/bytecomp/bytesections.mli +++ b/bytecomp/bytesections.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/cmo_format.mli b/bytecomp/cmo_format.mli index c87e6df4e2..b0cd05d67c 100644 --- a/bytecomp/cmo_format.mli +++ b/bytecomp/cmo_format.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/dll.ml b/bytecomp/dll.ml index bcf66b4296..6109028fc5 100644 --- a/bytecomp/dll.ml +++ b/bytecomp/dll.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/dll.mli b/bytecomp/dll.mli index fea455f7cb..a4841d3d31 100644 --- a/bytecomp/dll.mli +++ b/bytecomp/dll.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index 2cec99dc83..f9a33db731 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index fa20de1816..55f3dff11d 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/instruct.ml b/bytecomp/instruct.ml index 4f4fa14fa1..a26c094588 100644 --- a/bytecomp/instruct.ml +++ b/bytecomp/instruct.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/instruct.mli b/bytecomp/instruct.mli index 6b9367f9a0..0fdccd298c 100644 --- a/bytecomp/instruct.mli +++ b/bytecomp/instruct.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/lambda.ml b/bytecomp/lambda.ml index 06523ebcc1..b1e6f16eb6 100644 --- a/bytecomp/lambda.ml +++ b/bytecomp/lambda.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli index e671b89156..d09a8c6f6b 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/matching.ml b/bytecomp/matching.ml index 21006cc695..402ac12ad8 100644 --- a/bytecomp/matching.ml +++ b/bytecomp/matching.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/matching.mli b/bytecomp/matching.mli index ebfed8410d..d8ea791084 100644 --- a/bytecomp/matching.mli +++ b/bytecomp/matching.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/meta.ml b/bytecomp/meta.ml index a4beaf4224..732bcc8a1a 100644 --- a/bytecomp/meta.ml +++ b/bytecomp/meta.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/meta.mli b/bytecomp/meta.mli index 774c5f1374..93be656ad5 100644 --- a/bytecomp/meta.mli +++ b/bytecomp/meta.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/printinstr.ml b/bytecomp/printinstr.ml index 2f0508b299..f2aa87dc37 100644 --- a/bytecomp/printinstr.ml +++ b/bytecomp/printinstr.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/printinstr.mli b/bytecomp/printinstr.mli index e88e76ffc7..57cea578b5 100644 --- a/bytecomp/printinstr.mli +++ b/bytecomp/printinstr.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index 9bfa099e15..38182db7eb 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/printlambda.mli b/bytecomp/printlambda.mli index 352d6d0248..16618350ce 100644 --- a/bytecomp/printlambda.mli +++ b/bytecomp/printlambda.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/runtimedef.mli b/bytecomp/runtimedef.mli index 27309f60aa..4892000947 100644 --- a/bytecomp/runtimedef.mli +++ b/bytecomp/runtimedef.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/simplif.ml b/bytecomp/simplif.ml index 1f1d32b2c5..e26524e676 100644 --- a/bytecomp/simplif.ml +++ b/bytecomp/simplif.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/simplif.mli b/bytecomp/simplif.mli index 2d9b352bb6..816c44b847 100644 --- a/bytecomp/simplif.mli +++ b/bytecomp/simplif.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/switch.ml b/bytecomp/switch.ml index 4fa7b62ba7..ff193ee132 100644 --- a/bytecomp/switch.ml +++ b/bytecomp/switch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Luc Maranget, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/switch.mli b/bytecomp/switch.mli index 33014c0f7a..69fc800d38 100644 --- a/bytecomp/switch.mli +++ b/bytecomp/switch.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Luc Maranget, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/symtable.ml b/bytecomp/symtable.ml index 136144efa5..cf210d92a5 100644 --- a/bytecomp/symtable.ml +++ b/bytecomp/symtable.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/symtable.mli b/bytecomp/symtable.mli index cbef01e25f..d9001051e9 100644 --- a/bytecomp/symtable.mli +++ b/bytecomp/symtable.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/translclass.ml b/bytecomp/translclass.ml index e18a13ba6c..f06e43b461 100644 --- a/bytecomp/translclass.ml +++ b/bytecomp/translclass.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/translclass.mli b/bytecomp/translclass.mli index 4938278f7e..7a5d6d1437 100644 --- a/bytecomp/translclass.mli +++ b/bytecomp/translclass.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index 3b0b0b0d54..1e68756cd7 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/translcore.mli b/bytecomp/translcore.mli index baac055675..1bc5ce613d 100644 --- a/bytecomp/translcore.mli +++ b/bytecomp/translcore.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/translmod.ml b/bytecomp/translmod.ml index bd6107f035..7f52f99a17 100644 --- a/bytecomp/translmod.ml +++ b/bytecomp/translmod.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/translmod.mli b/bytecomp/translmod.mli index 9e47ca5e6a..5b6d0a0065 100644 --- a/bytecomp/translmod.mli +++ b/bytecomp/translmod.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/translobj.ml b/bytecomp/translobj.ml index a0df551d80..f72e34b0ae 100644 --- a/bytecomp/translobj.ml +++ b/bytecomp/translobj.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/translobj.mli b/bytecomp/translobj.mli index 26fa504b45..be1e6a90fc 100644 --- a/bytecomp/translobj.mli +++ b/bytecomp/translobj.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/typeopt.ml b/bytecomp/typeopt.ml index f8e43f0df7..3af2318390 100644 --- a/bytecomp/typeopt.ml +++ b/bytecomp/typeopt.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/bytecomp/typeopt.mli b/bytecomp/typeopt.mli index 811c2da37c..163ca44da0 100644 --- a/bytecomp/typeopt.mli +++ b/bytecomp/typeopt.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |