diff options
Diffstat (limited to 'bytecomp')
44 files changed, 44 insertions, 44 deletions
diff --git a/bytecomp/bytegen.ml b/bytecomp/bytegen.ml index b6c8f6fae..9773f0b7c 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 04265fde3..e0cd5f617 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 ba08fc019..62d900023 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 a4f9cc2f2..a4250f96d 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 15c6f7f58..794a0acb4 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 2e8f0cb31..375bde0d5 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 e2b6ff54b..eee60f0f4 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 836eb9c63..2a599d9f9 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 16eaf2377..342f07141 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 5292cc1b4..c9264ad89 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 c87e6df4e..b0cd05d67 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 bcf66b429..6109028fc 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 fea455f7c..a4841d3d3 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 2cec99dc8..f9a33db73 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 fa20de181..55f3dff11 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 4f4fa14fa..a26c09458 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 6b9367f9a..0fdccd298 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 06523ebcc..b1e6f16eb 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 e671b8915..d09a8c6f6 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 21006cc69..402ac12ad 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 ebfed8410..d8ea79108 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 a4beaf422..732bcc8a1 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 774c5f137..93be656ad 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 2f0508b29..f2aa87dc3 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 e88e76ffc..57cea578b 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 9bfa099e1..38182db7e 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 352d6d024..16618350c 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 27309f60a..489200094 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 1f1d32b2c..e26524e67 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 2d9b352bb..816c44b84 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 4fa7b62ba..ff193ee13 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 33014c0f7..69fc800d3 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 136144efa..cf210d92a 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 cbef01e25..d9001051e 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 e18a13ba6..f06e43b46 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 4938278f7..7a5d6d143 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 3b0b0b0d5..1e68756cd 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 baac05567..1bc5ce613 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 bd6107f03..7f52f99a1 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 9e47ca5e6..5b6d0a006 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 a0df551d8..f72e34b0a 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 26fa504b4..be1e6a90f 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 f8e43f0df..3af231839 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 811c2da37..163ca44da 100644 --- a/bytecomp/typeopt.mli +++ b/bytecomp/typeopt.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |