diff options
Diffstat (limited to 'otherlibs/str')
| -rw-r--r-- | otherlibs/str/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/str/Makefile.nt | 2 | ||||
| -rw-r--r-- | otherlibs/str/str.ml | 2 | ||||
| -rw-r--r-- | otherlibs/str/str.mli | 2 | ||||
| -rw-r--r-- | otherlibs/str/strstubs.c | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/otherlibs/str/Makefile b/otherlibs/str/Makefile index b6c16a076..e36000e4a 100644 --- a/otherlibs/str/Makefile +++ b/otherlibs/str/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/str/Makefile.nt b/otherlibs/str/Makefile.nt index 5aeff80b2..b0420b39b 100644 --- a/otherlibs/str/Makefile.nt +++ b/otherlibs/str/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/str/str.ml b/otherlibs/str/str.ml index f3f760acb..5d53168fd 100644 --- a/otherlibs/str/str.ml +++ b/otherlibs/str/str.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/str/str.mli b/otherlibs/str/str.mli index b63faf845..a4d65b6ae 100644 --- a/otherlibs/str/str.mli +++ b/otherlibs/str/str.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/str/strstubs.c b/otherlibs/str/strstubs.c index b8d53ff8f..fc2f46f8e 100644 --- a/otherlibs/str/strstubs.c +++ b/otherlibs/str/strstubs.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ |