From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6TFGZbJ025254
	for <caml-list@sympa-roc.inria.fr>; Fri, 29 Jul 2011 17:16:35 +0200
X-IronPort-AV: E=Sophos;i="4.67,287,1309730400"; 
   d="scan'208";a="114453401"
Received: from macadam.inria.fr ([128.93.8.130])
  by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 29 Jul 2011 17:16:26 +0200
From: Damien Doligez <damien.doligez@inria.fr>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Date: Fri, 29 Jul 2011 17:16:26 +0200
Message-Id: <E49008DC-30C0-4B22-9939-85827134C8A6@inria.fr>
To: caml users <caml-list@inria.fr>
Mime-Version: 1.0 (Apple Message framework v1084)
X-Mailer: Apple Mail (2.1084)
Subject: [Caml-list] Great Renaming

Dear OCaml users,

We have implemented the decision taken at this year's OCaml meeting: to
change the name of the language and system to "OCaml" in one word, with
capital O and capital C, and nothing between them.

That makes it much easier to find on search engines, so we suggest that
everyone uses this new name (most of you already do anyway).

With a non-negligible amount of work, I have changed the sources
(including the copyright headers!), the Web site, and the documentation.
As a side-effect, recompiling the documentation fixed PR#5317 at last.

-- Damien