diff options
Diffstat (limited to 'asmcomp')
118 files changed, 118 insertions, 118 deletions
diff --git a/asmcomp/alpha/arch.ml b/asmcomp/alpha/arch.ml index 52d1f11b1..76574d66f 100644 --- a/asmcomp/alpha/arch.ml +++ b/asmcomp/alpha/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/alpha/emit.mlp b/asmcomp/alpha/emit.mlp index 6857da04e..c596e989b 100644 --- a/asmcomp/alpha/emit.mlp +++ b/asmcomp/alpha/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/alpha/proc.ml b/asmcomp/alpha/proc.ml index 93c2422f6..7c126ca15 100644 --- a/asmcomp/alpha/proc.ml +++ b/asmcomp/alpha/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/alpha/reload.ml b/asmcomp/alpha/reload.ml index 53f7b183c..095767ebb 100644 --- a/asmcomp/alpha/reload.ml +++ b/asmcomp/alpha/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/alpha/scheduling.ml b/asmcomp/alpha/scheduling.ml index f59c26ed5..e1fd603db 100644 --- a/asmcomp/alpha/scheduling.ml +++ b/asmcomp/alpha/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/alpha/selection.ml b/asmcomp/alpha/selection.ml index d91ec5bdf..c86e931be 100644 --- a/asmcomp/alpha/selection.ml +++ b/asmcomp/alpha/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/amd64/arch.ml b/asmcomp/amd64/arch.ml index 3e8f4b111..dfacdad9e 100644 --- a/asmcomp/amd64/arch.ml +++ b/asmcomp/amd64/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/amd64/emit.mlp b/asmcomp/amd64/emit.mlp index a33a0fa9c..473c63432 100644 --- a/asmcomp/amd64/emit.mlp +++ b/asmcomp/amd64/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/amd64/emit_nt.mlp b/asmcomp/amd64/emit_nt.mlp index 724d6ee01..38ac00f90 100644 --- a/asmcomp/amd64/emit_nt.mlp +++ b/asmcomp/amd64/emit_nt.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/amd64/proc.ml b/asmcomp/amd64/proc.ml index 4ba0d5c3e..864c22e18 100644 --- a/asmcomp/amd64/proc.ml +++ b/asmcomp/amd64/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/amd64/proc_nt.ml b/asmcomp/amd64/proc_nt.ml index 5c90e4f52..b41717394 100644 --- a/asmcomp/amd64/proc_nt.ml +++ b/asmcomp/amd64/proc_nt.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/amd64/reload.ml b/asmcomp/amd64/reload.ml index 66772de97..e7d5e23b0 100644 --- a/asmcomp/amd64/reload.ml +++ b/asmcomp/amd64/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/amd64/scheduling.ml b/asmcomp/amd64/scheduling.ml index faf0353ed..8ba88f4a7 100644 --- a/asmcomp/amd64/scheduling.ml +++ b/asmcomp/amd64/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/amd64/selection.ml b/asmcomp/amd64/selection.ml index 4921e5110..86c4a9b58 100644 --- a/asmcomp/amd64/selection.ml +++ b/asmcomp/amd64/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml index aafb094b7..845ea9733 100644 --- a/asmcomp/arm/arch.ml +++ b/asmcomp/arm/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/emit.mlp b/asmcomp/arm/emit.mlp index cfcb0c94f..9da7beab8 100644 --- a/asmcomp/arm/emit.mlp +++ b/asmcomp/arm/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/proc.ml b/asmcomp/arm/proc.ml index 06b085b4d..705f8c6fe 100644 --- a/asmcomp/arm/proc.ml +++ b/asmcomp/arm/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/reload.ml b/asmcomp/arm/reload.ml index 65d811817..c5b137abc 100644 --- a/asmcomp/arm/reload.ml +++ b/asmcomp/arm/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/scheduling.ml b/asmcomp/arm/scheduling.ml index 8f49ad1ee..4b037289b 100644 --- a/asmcomp/arm/scheduling.ml +++ b/asmcomp/arm/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/arm/selection.ml b/asmcomp/arm/selection.ml index 1574bf01e..bd165898c 100644 --- a/asmcomp/arm/selection.ml +++ b/asmcomp/arm/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/asmgen.ml b/asmcomp/asmgen.ml index 9cdf61f40..c14c0006d 100644 --- a/asmcomp/asmgen.ml +++ b/asmcomp/asmgen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/asmgen.mli b/asmcomp/asmgen.mli index fe578bd4f..f71cba8f7 100644 --- a/asmcomp/asmgen.mli +++ b/asmcomp/asmgen.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/asmlibrarian.ml b/asmcomp/asmlibrarian.ml index 1fddb8127..e0d2170b5 100644 --- a/asmcomp/asmlibrarian.ml +++ b/asmcomp/asmlibrarian.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/asmlibrarian.mli b/asmcomp/asmlibrarian.mli index 66f6a127f..20a0380c9 100644 --- a/asmcomp/asmlibrarian.mli +++ b/asmcomp/asmlibrarian.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index dcec75ccb..8a1109fd6 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/asmlink.mli b/asmcomp/asmlink.mli index dbebb7bed..b9465f809 100644 --- a/asmcomp/asmlink.mli +++ b/asmcomp/asmlink.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/asmpackager.ml b/asmcomp/asmpackager.ml index fadfa49f7..548a0a3d5 100644 --- a/asmcomp/asmpackager.ml +++ b/asmcomp/asmpackager.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/asmpackager.mli b/asmcomp/asmpackager.mli index 7d0bb588b..fafccfea3 100644 --- a/asmcomp/asmpackager.mli +++ b/asmcomp/asmpackager.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/clambda.ml b/asmcomp/clambda.ml index 1d25b555f..9bcb36fd1 100644 --- a/asmcomp/clambda.ml +++ b/asmcomp/clambda.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/clambda.mli b/asmcomp/clambda.mli index a1efd644e..72ab85769 100644 --- a/asmcomp/clambda.mli +++ b/asmcomp/clambda.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml index 8f2a034c2..f37908f03 100644 --- a/asmcomp/closure.ml +++ b/asmcomp/closure.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/closure.mli b/asmcomp/closure.mli index f16379068..f406603c2 100644 --- a/asmcomp/closure.mli +++ b/asmcomp/closure.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/cmm.ml b/asmcomp/cmm.ml index 68625e24c..671ce5d78 100644 --- a/asmcomp/cmm.ml +++ b/asmcomp/cmm.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli index 1b0907165..76c50859f 100644 --- a/asmcomp/cmm.mli +++ b/asmcomp/cmm.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index 87a77c623..61fef31b8 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/cmmgen.mli b/asmcomp/cmmgen.mli index ba7e5ad00..a192b985e 100644 --- a/asmcomp/cmmgen.mli +++ b/asmcomp/cmmgen.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/cmx_format.mli b/asmcomp/cmx_format.mli index 9abfaf02e..78de321d9 100644 --- a/asmcomp/cmx_format.mli +++ b/asmcomp/cmx_format.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Gallium, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/codegen.ml b/asmcomp/codegen.ml index 280f13940..4b71503f9 100644 --- a/asmcomp/codegen.ml +++ b/asmcomp/codegen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/codegen.mli b/asmcomp/codegen.mli index b6d8caa61..43f98e50b 100644 --- a/asmcomp/codegen.mli +++ b/asmcomp/codegen.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/coloring.ml b/asmcomp/coloring.ml index 37c03a05b..06c1eb824 100644 --- a/asmcomp/coloring.ml +++ b/asmcomp/coloring.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/coloring.mli b/asmcomp/coloring.mli index cbfb2d6cd..72576fa10 100644 --- a/asmcomp/coloring.mli +++ b/asmcomp/coloring.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/comballoc.ml b/asmcomp/comballoc.ml index 13dbcaffe..9767d2638 100644 --- a/asmcomp/comballoc.ml +++ b/asmcomp/comballoc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/comballoc.mli b/asmcomp/comballoc.mli index 329e92764..20be98054 100644 --- a/asmcomp/comballoc.mli +++ b/asmcomp/comballoc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/compilenv.ml b/asmcomp/compilenv.ml index 27839311c..0b87efecf 100644 --- a/asmcomp/compilenv.ml +++ b/asmcomp/compilenv.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/compilenv.mli b/asmcomp/compilenv.mli index 664dab933..ca03724ef 100644 --- a/asmcomp/compilenv.mli +++ b/asmcomp/compilenv.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/debuginfo.ml b/asmcomp/debuginfo.ml index a7124e171..ad676d674 100644 --- a/asmcomp/debuginfo.ml +++ b/asmcomp/debuginfo.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Gallium, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/debuginfo.mli b/asmcomp/debuginfo.mli index c3c9c406e..c6e36041c 100644 --- a/asmcomp/debuginfo.mli +++ b/asmcomp/debuginfo.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Gallium, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/emit.mli b/asmcomp/emit.mli index ab7657af9..e2ff68ffc 100644 --- a/asmcomp/emit.mli +++ b/asmcomp/emit.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/emitaux.ml b/asmcomp/emitaux.ml index d4db78ad7..92bda9e29 100644 --- a/asmcomp/emitaux.ml +++ b/asmcomp/emitaux.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/emitaux.mli b/asmcomp/emitaux.mli index 4f666be73..c18d8e80c 100644 --- a/asmcomp/emitaux.mli +++ b/asmcomp/emitaux.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/arch.ml b/asmcomp/hppa/arch.ml index eb2e1938d..195c28e6f 100644 --- a/asmcomp/hppa/arch.ml +++ b/asmcomp/hppa/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/emit.mlp b/asmcomp/hppa/emit.mlp index b697a335a..d35544109 100644 --- a/asmcomp/hppa/emit.mlp +++ b/asmcomp/hppa/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/proc.ml b/asmcomp/hppa/proc.ml index c0b40adbe..7ee20040f 100644 --- a/asmcomp/hppa/proc.ml +++ b/asmcomp/hppa/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/reload.ml b/asmcomp/hppa/reload.ml index 54208fcc3..b6fe65980 100644 --- a/asmcomp/hppa/reload.ml +++ b/asmcomp/hppa/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/scheduling.ml b/asmcomp/hppa/scheduling.ml index 0cdd0998c..b669aec21 100644 --- a/asmcomp/hppa/scheduling.ml +++ b/asmcomp/hppa/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/hppa/selection.ml b/asmcomp/hppa/selection.ml index 74c546b08..72792e2b0 100644 --- a/asmcomp/hppa/selection.ml +++ b/asmcomp/hppa/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/arch.ml b/asmcomp/i386/arch.ml index 04d673d91..5ffbeeb23 100644 --- a/asmcomp/i386/arch.ml +++ b/asmcomp/i386/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/emit.mlp b/asmcomp/i386/emit.mlp index 881a936a1..7ac0e4e7d 100644 --- a/asmcomp/i386/emit.mlp +++ b/asmcomp/i386/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/emit_nt.mlp b/asmcomp/i386/emit_nt.mlp index 7091b3df8..e010cf8cc 100644 --- a/asmcomp/i386/emit_nt.mlp +++ b/asmcomp/i386/emit_nt.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/proc.ml b/asmcomp/i386/proc.ml index d2e3cdda9..55cb32c9b 100644 --- a/asmcomp/i386/proc.ml +++ b/asmcomp/i386/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/proc_nt.ml b/asmcomp/i386/proc_nt.ml index 5e617ff1a..ebed8f647 100644 --- a/asmcomp/i386/proc_nt.ml +++ b/asmcomp/i386/proc_nt.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/reload.ml b/asmcomp/i386/reload.ml index 539d45dae..66ad6a140 100644 --- a/asmcomp/i386/reload.ml +++ b/asmcomp/i386/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/scheduling.ml b/asmcomp/i386/scheduling.ml index 6f018cc87..cbfaa2111 100644 --- a/asmcomp/i386/scheduling.ml +++ b/asmcomp/i386/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index 5a8720fbe..2e0f5a737 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/ia64/arch.ml b/asmcomp/ia64/arch.ml index 77dddaca2..006660d4a 100644 --- a/asmcomp/ia64/arch.ml +++ b/asmcomp/ia64/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/ia64/emit.mlp b/asmcomp/ia64/emit.mlp index 3d8eeb974..b722af015 100644 --- a/asmcomp/ia64/emit.mlp +++ b/asmcomp/ia64/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/ia64/proc.ml b/asmcomp/ia64/proc.ml index 15311aa02..97ee3f3cc 100644 --- a/asmcomp/ia64/proc.ml +++ b/asmcomp/ia64/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/ia64/reload.ml b/asmcomp/ia64/reload.ml index 338c08844..09210b164 100644 --- a/asmcomp/ia64/reload.ml +++ b/asmcomp/ia64/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/ia64/scheduling.ml b/asmcomp/ia64/scheduling.ml index 9bed03a6c..6c696aca2 100644 --- a/asmcomp/ia64/scheduling.ml +++ b/asmcomp/ia64/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/ia64/selection.ml b/asmcomp/ia64/selection.ml index 6be4a18cd..0c16c346a 100644 --- a/asmcomp/ia64/selection.ml +++ b/asmcomp/ia64/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/interf.ml b/asmcomp/interf.ml index 30f17b725..f22672b55 100644 --- a/asmcomp/interf.ml +++ b/asmcomp/interf.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/interf.mli b/asmcomp/interf.mli index 00f4df498..9e16f8364 100644 --- a/asmcomp/interf.mli +++ b/asmcomp/interf.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/linearize.ml b/asmcomp/linearize.ml index 5833595ae..a5c758823 100644 --- a/asmcomp/linearize.ml +++ b/asmcomp/linearize.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index aaf03184c..ca11006b5 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/liveness.ml b/asmcomp/liveness.ml index 4e743d646..74a034fb3 100644 --- a/asmcomp/liveness.ml +++ b/asmcomp/liveness.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/liveness.mli b/asmcomp/liveness.mli index 3353b4443..8a25a27bc 100644 --- a/asmcomp/liveness.mli +++ b/asmcomp/liveness.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/mach.ml b/asmcomp/mach.ml index 027550ab1..b628f76ca 100644 --- a/asmcomp/mach.ml +++ b/asmcomp/mach.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli index 438d15d2f..dd58b8a02 100644 --- a/asmcomp/mach.mli +++ b/asmcomp/mach.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/mips/arch.ml b/asmcomp/mips/arch.ml index c174ef6c9..af36f6f27 100644 --- a/asmcomp/mips/arch.ml +++ b/asmcomp/mips/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/mips/emit.mlp b/asmcomp/mips/emit.mlp index 06915fd34..1abf9d599 100644 --- a/asmcomp/mips/emit.mlp +++ b/asmcomp/mips/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/mips/proc.ml b/asmcomp/mips/proc.ml index 53971890e..9b2d84ae1 100644 --- a/asmcomp/mips/proc.ml +++ b/asmcomp/mips/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/mips/reload.ml b/asmcomp/mips/reload.ml index 0bdd208d6..2e9838bc9 100644 --- a/asmcomp/mips/reload.ml +++ b/asmcomp/mips/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/mips/scheduling.ml b/asmcomp/mips/scheduling.ml index 062529ad5..17b7e3883 100644 --- a/asmcomp/mips/scheduling.ml +++ b/asmcomp/mips/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/mips/selection.ml b/asmcomp/mips/selection.ml index 4dbaa86ea..791fe296d 100644 --- a/asmcomp/mips/selection.ml +++ b/asmcomp/mips/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/arch.ml b/asmcomp/power/arch.ml index 8828de7c0..5da85099e 100644 --- a/asmcomp/power/arch.ml +++ b/asmcomp/power/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/emit.mlp b/asmcomp/power/emit.mlp index b6496f987..efa215baa 100644 --- a/asmcomp/power/emit.mlp +++ b/asmcomp/power/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/proc.ml b/asmcomp/power/proc.ml index ab8e5a5d5..6eaacbbad 100644 --- a/asmcomp/power/proc.ml +++ b/asmcomp/power/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/reload.ml b/asmcomp/power/reload.ml index 3f74c3f5e..ef0ab79df 100644 --- a/asmcomp/power/reload.ml +++ b/asmcomp/power/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/scheduling.ml b/asmcomp/power/scheduling.ml index aac37c879..90d08831d 100644 --- a/asmcomp/power/scheduling.ml +++ b/asmcomp/power/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/power/selection.ml b/asmcomp/power/selection.ml index d87b300cc..7c37f53ba 100644 --- a/asmcomp/power/selection.ml +++ b/asmcomp/power/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/printcmm.ml b/asmcomp/printcmm.ml index 364d9ea88..996eaa21c 100644 --- a/asmcomp/printcmm.ml +++ b/asmcomp/printcmm.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/printcmm.mli b/asmcomp/printcmm.mli index d498ddb72..c64657653 100644 --- a/asmcomp/printcmm.mli +++ b/asmcomp/printcmm.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/printlinear.ml b/asmcomp/printlinear.ml index 3737e72c1..0e6f37b69 100644 --- a/asmcomp/printlinear.ml +++ b/asmcomp/printlinear.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/printlinear.mli b/asmcomp/printlinear.mli index 5e90c11c6..bb179c94c 100644 --- a/asmcomp/printlinear.mli +++ b/asmcomp/printlinear.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml index d7d538df3..339deb7ee 100644 --- a/asmcomp/printmach.ml +++ b/asmcomp/printmach.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/printmach.mli b/asmcomp/printmach.mli index 28328707c..509018d54 100644 --- a/asmcomp/printmach.mli +++ b/asmcomp/printmach.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/proc.mli b/asmcomp/proc.mli index ba593592b..7d0a5e485 100644 --- a/asmcomp/proc.mli +++ b/asmcomp/proc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/reg.ml b/asmcomp/reg.ml index f9bef4967..30c0ab5ab 100644 --- a/asmcomp/reg.ml +++ b/asmcomp/reg.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/reg.mli b/asmcomp/reg.mli index b802344de..11e314f61 100644 --- a/asmcomp/reg.mli +++ b/asmcomp/reg.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/reload.mli b/asmcomp/reload.mli index fc72446e7..ff4b1637a 100644 --- a/asmcomp/reload.mli +++ b/asmcomp/reload.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/reloadgen.ml b/asmcomp/reloadgen.ml index 898c65c98..fc28acde4 100644 --- a/asmcomp/reloadgen.ml +++ b/asmcomp/reloadgen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/reloadgen.mli b/asmcomp/reloadgen.mli index f0d1c78c0..9f0b2b4e1 100644 --- a/asmcomp/reloadgen.mli +++ b/asmcomp/reloadgen.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/schedgen.ml b/asmcomp/schedgen.ml index 00762fa36..a5dfcfdbf 100644 --- a/asmcomp/schedgen.ml +++ b/asmcomp/schedgen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/schedgen.mli b/asmcomp/schedgen.mli index ab5f072b7..e2c046d22 100644 --- a/asmcomp/schedgen.mli +++ b/asmcomp/schedgen.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/scheduling.mli b/asmcomp/scheduling.mli index dd24354ad..a006d1f13 100644 --- a/asmcomp/scheduling.mli +++ b/asmcomp/scheduling.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/selectgen.ml b/asmcomp/selectgen.ml index 50f949a77..106d42bc2 100644 --- a/asmcomp/selectgen.ml +++ b/asmcomp/selectgen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/selectgen.mli b/asmcomp/selectgen.mli index 7c30f9f54..73309bf7b 100644 --- a/asmcomp/selectgen.mli +++ b/asmcomp/selectgen.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/selection.mli b/asmcomp/selection.mli index ab17b557d..a78cb1dae 100644 --- a/asmcomp/selection.mli +++ b/asmcomp/selection.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/sparc/arch.ml b/asmcomp/sparc/arch.ml index 61ba35b9a..b42557c97 100644 --- a/asmcomp/sparc/arch.ml +++ b/asmcomp/sparc/arch.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/sparc/emit.mlp b/asmcomp/sparc/emit.mlp index f44f813e5..52a8bc60a 100644 --- a/asmcomp/sparc/emit.mlp +++ b/asmcomp/sparc/emit.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/sparc/proc.ml b/asmcomp/sparc/proc.ml index 2fd147bfc..f7b204db5 100644 --- a/asmcomp/sparc/proc.ml +++ b/asmcomp/sparc/proc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/sparc/reload.ml b/asmcomp/sparc/reload.ml index a590ba3ff..6b1d8aea9 100644 --- a/asmcomp/sparc/reload.ml +++ b/asmcomp/sparc/reload.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/sparc/scheduling.ml b/asmcomp/sparc/scheduling.ml index efe9a1f4c..180af4b19 100644 --- a/asmcomp/sparc/scheduling.ml +++ b/asmcomp/sparc/scheduling.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/sparc/selection.ml b/asmcomp/sparc/selection.ml index 965680b65..1dfc06f27 100644 --- a/asmcomp/sparc/selection.ml +++ b/asmcomp/sparc/selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/spill.ml b/asmcomp/spill.ml index 968987d48..874f73579 100644 --- a/asmcomp/spill.ml +++ b/asmcomp/spill.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/spill.mli b/asmcomp/spill.mli index 16a8c01ad..4db422227 100644 --- a/asmcomp/spill.mli +++ b/asmcomp/spill.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/split.ml b/asmcomp/split.ml index 9e6130d21..8c5e22703 100644 --- a/asmcomp/split.ml +++ b/asmcomp/split.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/asmcomp/split.mli b/asmcomp/split.mli index 67e0956e8..baf350d50 100644 --- a/asmcomp/split.mli +++ b/asmcomp/split.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |