diff options
Diffstat (limited to 'byterun')
93 files changed, 95 insertions, 95 deletions
diff --git a/byterun/Makefile b/byterun/Makefile index f39cde49a..c8669710d 100644 --- a/byterun/Makefile +++ b/byterun/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/byterun/Makefile.common b/byterun/Makefile.common index d29036810..bf64e78c1 100755 --- a/byterun/Makefile.common +++ b/byterun/Makefile.common @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/byterun/Makefile.nt b/byterun/Makefile.nt index a633787de..b93fa58a8 100644 --- a/byterun/Makefile.nt +++ b/byterun/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/byterun/alloc.c b/byterun/alloc.c index cc19698a8..034562e8e 100644 --- a/byterun/alloc.c +++ b/byterun/alloc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/alloc.h b/byterun/alloc.h index 66cab7024..7e954e36e 100644 --- a/byterun/alloc.h +++ b/byterun/alloc.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/array.c b/byterun/array.c index 8f658058b..ec609d04b 100644 --- a/byterun/array.c +++ b/byterun/array.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/backtrace.c b/byterun/backtrace.c index 2b29c31dc..7b8ddca88 100644 --- a/byterun/backtrace.c +++ b/byterun/backtrace.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/backtrace.h b/byterun/backtrace.h index 2d9c202ea..23c72e6c9 100644 --- a/byterun/backtrace.h +++ b/byterun/backtrace.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/callback.c b/byterun/callback.c index d76cf108b..0d781259a 100644 --- a/byterun/callback.c +++ b/byterun/callback.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/callback.h b/byterun/callback.h index ffa6cf3b5..550053add 100644 --- a/byterun/callback.h +++ b/byterun/callback.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/compact.c b/byterun/compact.c index ba1042fbe..d40949287 100644 --- a/byterun/compact.c +++ b/byterun/compact.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/compact.h b/byterun/compact.h index a4ef4cb18..949a2766e 100644 --- a/byterun/compact.h +++ b/byterun/compact.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/compare.c b/byterun/compare.c index 751630757..79f71ef61 100644 --- a/byterun/compare.c +++ b/byterun/compare.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/compare.h b/byterun/compare.h index dc392ff3d..c73a49a46 100644 --- a/byterun/compare.h +++ b/byterun/compare.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, Projet Moscova, INRIA Rocquencourt */ /* */ diff --git a/byterun/compatibility.h b/byterun/compatibility.h index 5c21774e0..429d2275d 100644 --- a/byterun/compatibility.h +++ b/byterun/compatibility.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Moscova, INRIA Rocquencourt */ /* */ diff --git a/byterun/config.h b/byterun/config.h index 22abe871d..b36b73c95 100644 --- a/byterun/config.h +++ b/byterun/config.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/custom.c b/byterun/custom.c index 24281db84..b2d7b5206 100644 --- a/byterun/custom.c +++ b/byterun/custom.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Manuel Serrano and Xavier Leroy, INRIA Rocquencourt */ /* */ diff --git a/byterun/custom.h b/byterun/custom.h index 51fabed9d..f71fb4fe1 100644 --- a/byterun/custom.h +++ b/byterun/custom.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Manuel Serrano and Xavier Leroy, INRIA Rocquencourt */ /* */ diff --git a/byterun/debugger.c b/byterun/debugger.c index f9689126a..c69b1edd1 100644 --- a/byterun/debugger.c +++ b/byterun/debugger.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/debugger.h b/byterun/debugger.h index 57a58f1c6..a9501abff 100644 --- a/byterun/debugger.h +++ b/byterun/debugger.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/dynlink.c b/byterun/dynlink.c index 7df594dbe..ddd406bab 100644 --- a/byterun/dynlink.c +++ b/byterun/dynlink.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/dynlink.h b/byterun/dynlink.h index ad4bfbadb..b1d14d844 100644 --- a/byterun/dynlink.h +++ b/byterun/dynlink.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/exec.h b/byterun/exec.h index 1abfa455c..88cf6d28b 100644 --- a/byterun/exec.h +++ b/byterun/exec.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/extern.c b/byterun/extern.c index 89e89f00e..ef07f9c94 100644 --- a/byterun/extern.c +++ b/byterun/extern.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/fail.c b/byterun/fail.c index aceb253b9..2696ab8d9 100644 --- a/byterun/fail.c +++ b/byterun/fail.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/fail.h b/byterun/fail.h index f092c8115..88ec381db 100644 --- a/byterun/fail.h +++ b/byterun/fail.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/finalise.c b/byterun/finalise.c index bc7996d55..9a93084ae 100644 --- a/byterun/finalise.c +++ b/byterun/finalise.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Moscova, INRIA Rocquencourt */ /* */ diff --git a/byterun/finalise.h b/byterun/finalise.h index ec656f4f4..e41baa320 100644 --- a/byterun/finalise.h +++ b/byterun/finalise.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Moscova, INRIA Rocquencourt */ /* */ diff --git a/byterun/fix_code.c b/byterun/fix_code.c index b252efd58..7a8f1ffa5 100644 --- a/byterun/fix_code.c +++ b/byterun/fix_code.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/fix_code.h b/byterun/fix_code.h index f6e9e3b77..fb47b6c4d 100644 --- a/byterun/fix_code.h +++ b/byterun/fix_code.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/floats.c b/byterun/floats.c index c067e60d2..51cfb23f1 100644 --- a/byterun/floats.c +++ b/byterun/floats.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/freelist.c b/byterun/freelist.c index ab1d458ba..f3bb4a8ee 100644 --- a/byterun/freelist.c +++ b/byterun/freelist.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/freelist.h b/byterun/freelist.h index 8db168e9b..b4285d955 100644 --- a/byterun/freelist.h +++ b/byterun/freelist.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/gc.h b/byterun/gc.h index 50d9945a8..4f67ed906 100644 --- a/byterun/gc.h +++ b/byterun/gc.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/gc_ctrl.c b/byterun/gc_ctrl.c index 9a2e0b08c..287122043 100644 --- a/byterun/gc_ctrl.c +++ b/byterun/gc_ctrl.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/gc_ctrl.h b/byterun/gc_ctrl.h index 205636d59..4dba74fa5 100644 --- a/byterun/gc_ctrl.h +++ b/byterun/gc_ctrl.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/globroots.c b/byterun/globroots.c index acac1e217..513b7be55 100644 --- a/byterun/globroots.c +++ b/byterun/globroots.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/globroots.h b/byterun/globroots.h index 4dee35f23..97a1edab1 100644 --- a/byterun/globroots.h +++ b/byterun/globroots.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/hash.c b/byterun/hash.c index 494cf28b6..5b8955df7 100644 --- a/byterun/hash.c +++ b/byterun/hash.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/hash.h b/byterun/hash.h index 213f72016..56eeec113 100644 --- a/byterun/hash.h +++ b/byterun/hash.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Gallium, INRIA Rocquencourt */ /* */ diff --git a/byterun/instrtrace.c b/byterun/instrtrace.c index 3afdc9541..1c329daa6 100644 --- a/byterun/instrtrace.c +++ b/byterun/instrtrace.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/instrtrace.h b/byterun/instrtrace.h index c1ca4a7ec..686b9e4ed 100644 --- a/byterun/instrtrace.h +++ b/byterun/instrtrace.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/instruct.h b/byterun/instruct.h index c45d4ea28..92f228504 100644 --- a/byterun/instruct.h +++ b/byterun/instruct.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/int64_emul.h b/byterun/int64_emul.h index 202006a04..ad48584d8 100644 --- a/byterun/int64_emul.h +++ b/byterun/int64_emul.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/int64_format.h b/byterun/int64_format.h index b9ae91040..53df3fbc2 100644 --- a/byterun/int64_format.h +++ b/byterun/int64_format.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/int64_native.h b/byterun/int64_native.h index 4ae188af4..9aa45e3c0 100644 --- a/byterun/int64_native.h +++ b/byterun/int64_native.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/intern.c b/byterun/intern.c index f44211462..9fa403ad6 100644 --- a/byterun/intern.c +++ b/byterun/intern.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/interp.c b/byterun/interp.c index 7bcdf7acb..cbec02a5c 100644 --- a/byterun/interp.c +++ b/byterun/interp.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/interp.h b/byterun/interp.h index 9eb733940..7c3d26f28 100644 --- a/byterun/interp.h +++ b/byterun/interp.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/intext.h b/byterun/intext.h index b757d1718..05fc61441 100644 --- a/byterun/intext.h +++ b/byterun/intext.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/ints.c b/byterun/ints.c index a9f224c2b..4fa1657be 100644 --- a/byterun/ints.c +++ b/byterun/ints.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/io.c b/byterun/io.c index 8d95ef70d..90a399510 100644 --- a/byterun/io.c +++ b/byterun/io.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/io.h b/byterun/io.h index d02a5a72f..53d9bb9bf 100644 --- a/byterun/io.h +++ b/byterun/io.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/lexing.c b/byterun/lexing.c index 6e74795c2..cb763bce9 100644 --- a/byterun/lexing.c +++ b/byterun/lexing.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/main.c b/byterun/main.c index e6afb1b32..63355840f 100644 --- a/byterun/main.c +++ b/byterun/main.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/major_gc.c b/byterun/major_gc.c index b9ec8cbfe..aeb192fde 100644 --- a/byterun/major_gc.c +++ b/byterun/major_gc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/major_gc.h b/byterun/major_gc.h index 12f880670..427312784 100644 --- a/byterun/major_gc.h +++ b/byterun/major_gc.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/md5.c b/byterun/md5.c index d0b6e5e46..41a86ed72 100644 --- a/byterun/md5.c +++ b/byterun/md5.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/md5.h b/byterun/md5.h index b92b02ad1..7a3799eb3 100644 --- a/byterun/md5.h +++ b/byterun/md5.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/memory.c b/byterun/memory.c index bc4c88df1..2a98ada34 100644 --- a/byterun/memory.c +++ b/byterun/memory.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/memory.h b/byterun/memory.h index e0df37c7c..0c659b84e 100644 --- a/byterun/memory.h +++ b/byterun/memory.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/meta.c b/byterun/meta.c index 1ed4fbddd..73287f79d 100644 --- a/byterun/meta.c +++ b/byterun/meta.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/minor_gc.c b/byterun/minor_gc.c index 91aa29799..2cab6d2b1 100644 --- a/byterun/minor_gc.c +++ b/byterun/minor_gc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/minor_gc.h b/byterun/minor_gc.h index 8e834129b..82c82cd3f 100644 --- a/byterun/minor_gc.h +++ b/byterun/minor_gc.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/misc.c b/byterun/misc.c index e8597ee38..927cbd81b 100644 --- a/byterun/misc.c +++ b/byterun/misc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/misc.h b/byterun/misc.h index d0aaffd1a..e970d3d03 100644 --- a/byterun/misc.h +++ b/byterun/misc.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/mlvalues.h b/byterun/mlvalues.h index d66d5e9d2..201b86bda 100644 --- a/byterun/mlvalues.h +++ b/byterun/mlvalues.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/obj.c b/byterun/obj.c index e085d6727..72464b315 100644 --- a/byterun/obj.c +++ b/byterun/obj.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/osdeps.h b/byterun/osdeps.h index 248b3f6aa..902ea2de6 100644 --- a/byterun/osdeps.h +++ b/byterun/osdeps.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/parsing.c b/byterun/parsing.c index bcb9e5faa..aeba38d62 100644 --- a/byterun/parsing.c +++ b/byterun/parsing.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/prims.h b/byterun/prims.h index d8c1671e1..3d7bb6d82 100644 --- a/byterun/prims.h +++ b/byterun/prims.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/printexc.c b/byterun/printexc.c index f72157ff0..ca0a0bc2a 100644 --- a/byterun/printexc.c +++ b/byterun/printexc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/printexc.h b/byterun/printexc.h index e7d176888..5b0549b23 100644 --- a/byterun/printexc.h +++ b/byterun/printexc.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/reverse.h b/byterun/reverse.h index e80d1f7d9..a48b6f255 100644 --- a/byterun/reverse.h +++ b/byterun/reverse.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/roots.c b/byterun/roots.c index 74fbb41ed..8a4d23b33 100644 --- a/byterun/roots.c +++ b/byterun/roots.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/roots.h b/byterun/roots.h index 95c2f63f7..f2d3bd694 100644 --- a/byterun/roots.h +++ b/byterun/roots.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/signals.c b/byterun/signals.c index 90fe89196..40ba0ab5e 100644 --- a/byterun/signals.c +++ b/byterun/signals.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/signals.h b/byterun/signals.h index e5ba98777..f771a799e 100644 --- a/byterun/signals.h +++ b/byterun/signals.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/signals_byt.c b/byterun/signals_byt.c index 523814938..f52ee5a45 100644 --- a/byterun/signals_byt.c +++ b/byterun/signals_byt.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/signals_machdep.h b/byterun/signals_machdep.h index 08c5f4cb8..0308d3c1f 100644 --- a/byterun/signals_machdep.h +++ b/byterun/signals_machdep.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/byterun/stacks.c b/byterun/stacks.c index ed06f9534..5f7a871d0 100644 --- a/byterun/stacks.c +++ b/byterun/stacks.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/stacks.h b/byterun/stacks.h index 48e8acc9c..f8469572d 100644 --- a/byterun/stacks.h +++ b/byterun/stacks.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/startup.c b/byterun/startup.c index 20e61e7d2..6117ff7a3 100644 --- a/byterun/startup.c +++ b/byterun/startup.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ @@ -216,7 +216,7 @@ static char * read_section(int fd, struct exec_trailer *trail, char *name) Algorithm: 1- If argument 0 is a valid byte-code file that does not start with #!, then we are in case 3 and we pass the same command line to the - Objective Caml program. + OCaml program. 2- In all other cases, we parse the command line as: (whatever) [options] bytecode args... and we strip "(whatever) [options]" from the command line. @@ -247,7 +247,7 @@ static int parse_command_line(char **argv) #endif case 'v': if (!strcmp (argv[i], "-version")){ - printf ("The Objective Caml runtime, version " OCAML_VERSION "\n"); + printf ("The OCaml runtime, version " OCAML_VERSION "\n"); exit (0); }else if (!strcmp (argv[i], "-vnum")){ printf (OCAML_VERSION "\n"); diff --git a/byterun/startup.h b/byterun/startup.h index 0d1a5a604..5a42a73aa 100644 --- a/byterun/startup.h +++ b/byterun/startup.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/str.c b/byterun/str.c index 760b154e3..3941cae17 100644 --- a/byterun/str.c +++ b/byterun/str.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/sys.c b/byterun/sys.c index 9928910f7..4b35d1e03 100644 --- a/byterun/sys.c +++ b/byterun/sys.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/sys.h b/byterun/sys.h index 4ad8011d9..c6f5d3204 100644 --- a/byterun/sys.h +++ b/byterun/sys.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/terminfo.c b/byterun/terminfo.c index e4502fb02..679756967 100644 --- a/byterun/terminfo.c +++ b/byterun/terminfo.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/ui.h b/byterun/ui.h index fcd9cd9f8..0c3309b39 100644 --- a/byterun/ui.h +++ b/byterun/ui.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/unix.c b/byterun/unix.c index cdc1f2a01..664c32b18 100644 --- a/byterun/unix.c +++ b/byterun/unix.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/byterun/weak.c b/byterun/weak.c index c6c4a223f..efdb15e9c 100644 --- a/byterun/weak.c +++ b/byterun/weak.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/weak.h b/byterun/weak.h index 270082dbf..a30001a7e 100644 --- a/byterun/weak.h +++ b/byterun/weak.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Damien Doligez, projet Para, INRIA Rocquencourt */ /* */ diff --git a/byterun/win32.c b/byterun/win32.c index 866977b12..e958fd6f2 100644 --- a/byterun/win32.c +++ b/byterun/win32.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ |