diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-07-27 14:17:02 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-07-27 14:17:02 +0000 |
| commit | 3b507dd1aa286684543a35cc7da763feebf9aa8d (patch) | |
| tree | 9440970c6915ebe15feb48569b19382d952ba564 /otherlibs/num | |
| parent | db1e7c7e2332b71510285bbd5f0760870087bce6 (diff) | |
| download | ocaml-3b507dd1aa286684543a35cc7da763feebf9aa8d.tar.gz | |
renaming of Objective Caml to OCaml and cleanup of copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to '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 0a4349e802..756aec2b4c 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 16103b2b00..9d831657af 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 00e2813e62..048d4f8dba 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 36160edb24..6539424311 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 8b6fa9f727..0f9deb363b 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 121b4d5756..170e8cd4c2 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 b96b8e1f42..34de4b1272 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 2ac7b7eb6f..46621f9414 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 7450247009..5bbedb0b46 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 6d12c87cb3..19f2e2b9cf 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 5bf964b582..b888df4c00 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 e829eef23e..ecf9f2535d 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 168b44ad3d..e429197c22 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 bbca8e9dcd..b4981cd488 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 f246843cb8..92ec2c03ed 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 32d573cd0f..6bbf108e9c 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 934c0b2f7e..4e46a316ae 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 b7eb4c67d4..99713b916e 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 28bb335b8e..7f465c5ad7 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 7f67b916a1..62c7ac9885 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 cda80d5d48..44742a213b 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 3b32ac8dcf..39f1c5908c 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 d56ee2ddbc..5215851659 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 52fe8cc0e8..4ede5ee49c 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 8bf3d4e6e7..1d421ff29d 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 7885df15d6..fe0170f299 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 12621f08a2..60c0f66dba 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 *) (* *) |