diff options
Diffstat (limited to 'otherlibs/num')
| -rw-r--r-- | otherlibs/num/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/num/Makefile.nt | 2 | ||||
| -rw-r--r-- | otherlibs/num/arith_flags.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/arith_flags.mli | 2 | ||||
| -rw-r--r-- | otherlibs/num/arith_status.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/arith_status.mli | 2 | ||||
| -rw-r--r-- | otherlibs/num/big_int.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/big_int.mli | 2 | ||||
| -rw-r--r-- | otherlibs/num/bng.c | 2 | ||||
| -rw-r--r-- | otherlibs/num/bng.h | 2 | ||||
| -rw-r--r-- | otherlibs/num/bng_alpha.c | 2 | ||||
| -rw-r--r-- | otherlibs/num/bng_amd64.c | 2 | ||||
| -rw-r--r-- | otherlibs/num/bng_digit.c | 2 | ||||
| -rw-r--r-- | otherlibs/num/bng_ia32.c | 2 | ||||
| -rw-r--r-- | otherlibs/num/bng_mips.c | 2 | ||||
| -rw-r--r-- | otherlibs/num/bng_ppc.c | 4 | ||||
| -rw-r--r-- | otherlibs/num/bng_sparc.c | 2 | ||||
| -rw-r--r-- | otherlibs/num/int_misc.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/int_misc.mli | 2 | ||||
| -rw-r--r-- | otherlibs/num/nat.h | 2 | ||||
| -rw-r--r-- | otherlibs/num/nat.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/nat.mli | 2 | ||||
| -rw-r--r-- | otherlibs/num/nat_stubs.c | 2 | ||||
| -rw-r--r-- | otherlibs/num/num.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/num.mli | 2 | ||||
| -rw-r--r-- | otherlibs/num/ratio.ml | 2 | ||||
| -rw-r--r-- | otherlibs/num/ratio.mli | 2 |
27 files changed, 28 insertions, 28 deletions
diff --git a/otherlibs/num/Makefile b/otherlibs/num/Makefile index 0a4349e80..756aec2b4 100644 --- a/otherlibs/num/Makefile +++ b/otherlibs/num/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/num/Makefile.nt b/otherlibs/num/Makefile.nt index 16103b2b0..9d831657a 100644 --- a/otherlibs/num/Makefile.nt +++ b/otherlibs/num/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/num/arith_flags.ml b/otherlibs/num/arith_flags.ml index 00e2813e6..048d4f8db 100644 --- a/otherlibs/num/arith_flags.ml +++ b/otherlibs/num/arith_flags.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/arith_flags.mli b/otherlibs/num/arith_flags.mli index 36160edb2..653942431 100644 --- a/otherlibs/num/arith_flags.mli +++ b/otherlibs/num/arith_flags.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/arith_status.ml b/otherlibs/num/arith_status.ml index 8b6fa9f72..0f9deb363 100644 --- a/otherlibs/num/arith_status.ml +++ b/otherlibs/num/arith_status.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/arith_status.mli b/otherlibs/num/arith_status.mli index 121b4d575..170e8cd4c 100644 --- a/otherlibs/num/arith_status.mli +++ b/otherlibs/num/arith_status.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/big_int.ml b/otherlibs/num/big_int.ml index b96b8e1f4..34de4b127 100644 --- a/otherlibs/num/big_int.ml +++ b/otherlibs/num/big_int.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/big_int.mli b/otherlibs/num/big_int.mli index 2ac7b7eb6..46621f941 100644 --- a/otherlibs/num/big_int.mli +++ b/otherlibs/num/big_int.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/bng.c b/otherlibs/num/bng.c index 745024700..5bbedb0b4 100644 --- a/otherlibs/num/bng.c +++ b/otherlibs/num/bng.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng.h b/otherlibs/num/bng.h index 6d12c87cb..19f2e2b9c 100644 --- a/otherlibs/num/bng.h +++ b/otherlibs/num/bng.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_alpha.c b/otherlibs/num/bng_alpha.c index 5bf964b58..b888df4c0 100644 --- a/otherlibs/num/bng_alpha.c +++ b/otherlibs/num/bng_alpha.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_amd64.c b/otherlibs/num/bng_amd64.c index e829eef23..ecf9f2535 100644 --- a/otherlibs/num/bng_amd64.c +++ b/otherlibs/num/bng_amd64.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_digit.c b/otherlibs/num/bng_digit.c index 168b44ad3..e429197c2 100644 --- a/otherlibs/num/bng_digit.c +++ b/otherlibs/num/bng_digit.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_ia32.c b/otherlibs/num/bng_ia32.c index bbca8e9dc..b4981cd48 100644 --- a/otherlibs/num/bng_ia32.c +++ b/otherlibs/num/bng_ia32.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_mips.c b/otherlibs/num/bng_mips.c index f246843cb..92ec2c03e 100644 --- a/otherlibs/num/bng_mips.c +++ b/otherlibs/num/bng_mips.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_ppc.c b/otherlibs/num/bng_ppc.c index 32d573cd0..6bbf108e9 100644 --- a/otherlibs/num/bng_ppc.c +++ b/otherlibs/num/bng_ppc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ @@ -91,4 +91,4 @@ "mulhwu %1, %2, %3" \ : "=&r" (resl), "=r" (resh) \ : "r" (arg1), "r" (arg2)) -#endif
\ No newline at end of file +#endif diff --git a/otherlibs/num/bng_sparc.c b/otherlibs/num/bng_sparc.c index 934c0b2f7..4e46a316a 100644 --- a/otherlibs/num/bng_sparc.c +++ b/otherlibs/num/bng_sparc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/int_misc.ml b/otherlibs/num/int_misc.ml index b7eb4c67d..99713b916 100644 --- a/otherlibs/num/int_misc.ml +++ b/otherlibs/num/int_misc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/int_misc.mli b/otherlibs/num/int_misc.mli index 28bb335b8..7f465c5ad 100644 --- a/otherlibs/num/int_misc.mli +++ b/otherlibs/num/int_misc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/nat.h b/otherlibs/num/nat.h index 7f67b916a..62c7ac988 100644 --- a/otherlibs/num/nat.h +++ b/otherlibs/num/nat.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/nat.ml b/otherlibs/num/nat.ml index cda80d5d4..44742a213 100644 --- a/otherlibs/num/nat.ml +++ b/otherlibs/num/nat.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/nat.mli b/otherlibs/num/nat.mli index 3b32ac8dc..39f1c5908 100644 --- a/otherlibs/num/nat.mli +++ b/otherlibs/num/nat.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/nat_stubs.c b/otherlibs/num/nat_stubs.c index d56ee2ddb..521585165 100644 --- a/otherlibs/num/nat_stubs.c +++ b/otherlibs/num/nat_stubs.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/num.ml b/otherlibs/num/num.ml index 52fe8cc0e..4ede5ee49 100644 --- a/otherlibs/num/num.ml +++ b/otherlibs/num/num.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/num.mli b/otherlibs/num/num.mli index 8bf3d4e6e..1d421ff29 100644 --- a/otherlibs/num/num.mli +++ b/otherlibs/num/num.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/ratio.ml b/otherlibs/num/ratio.ml index 7885df15d..fe0170f29 100644 --- a/otherlibs/num/ratio.ml +++ b/otherlibs/num/ratio.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/ratio.mli b/otherlibs/num/ratio.mli index 12621f08a..60c0f66db 100644 --- a/otherlibs/num/ratio.mli +++ b/otherlibs/num/ratio.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) |