Commentaires: Caml [Special] Light -> Objective Caml

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

otherlibs/systhreads/mutex.mli

@@ -1,6 +1,6 @@
 (***********************************************************************)
 (*                                                                     *)
-(*                         Caml Special Light                          *)
+(*                         Objective Caml                              *)
 (*                                                                     *)
 (*            Xavier Leroy and Pascal Cuoq, INRIA Rocquencourt         *)
 (*                                                                     *)

otherlibs/systhreads/thread.mli

@@ -1,6 +1,6 @@
 (***********************************************************************)
 (*                                                                     *)
-(*                         Caml Special Light                          *)
+(*                         Objective Caml                              *)
 (*                                                                     *)
 (*  Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt   *)
 (*                                                                     *)

stdlib/char.mli

@@ -22,7 +22,7 @@ val chr: int -> char
 val escaped : char -> string
         (* Return a string representing the given character,
            with special characters escaped following the lexical conventions
-           of Caml Light. *)
+           of Objective Caml. *)
 val lowercase: char -> char
 val uppercase: char -> char
         (* Convert the given character to its equivalent lowercase or

stdlib/pervasives.mli

@@ -432,13 +432,13 @@ val output_binary_int : out_channel -> int -> unit
         (* Write one integer in binary format on the given output channel.
            The only reliable way to read it back is through the
            [input_binary_int] function. The format is compatible across
-           all machines for a given version of Caml Light. *)
+           all machines for a given version of Objective Caml. *)
 val output_value : out_channel -> 'a -> unit
         (* Write the representation of a structured value of any type
            to a channel. Circularities and sharing inside the value
            are detected and preserved. The object can be read back,
            by the function [input_value]. The format is compatible across
-           all machines for a given version of Caml Light. *)
+           all machines for a given version of Objective Caml. *)
 val seek_out : out_channel -> int -> unit
         (* [seek_out chan pos] sets the current writing position to [pos]
            for channel [chan]. This works only for regular files. On

tools/profiling.mli

@@ -3,7 +3,7 @@
 (*                           Objective Caml                            *)
 (*                                                                     *)
 (*      Damien Doligez and Francois Rouaix, INRIA Rocquencourt         *)
-(*   Ported to Caml Special Light by John Malecki and Xavier Leroy     *)
+(*   Ported to Objective Caml by John Malecki and Xavier Leroy         *)
 (*                                                                     *)
 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
 (*  Automatique.  Distributed only by permission.                      *)