From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p74GBiBA011875 for ; Thu, 4 Aug 2011 18:11:44 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0DAPvDOk7RVaG2kGdsb2JhbABDmBuHJwGIHQgUAQEBAQkJDQcUBCGBQAEBAQECARICLAEbEgsBAwELBgUEAQYaISIBEQEFAQoSBhMSEIdKBKQCCowxglSFDDuIbQIDBoY8BIJQkCuMTDyDeA X-IronPort-AV: E=Sophos;i="4.67,317,1309730400"; d="scan'208";a="104706849" Received: from mail-gx0-f182.google.com ([209.85.161.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Aug 2011 18:11:38 +0200 Received: by gxk28 with SMTP id 28so1826354gxk.27 for ; Thu, 04 Aug 2011 09:11:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=iQ0WHTn44cr28HEvcdBqmWfHF2DUHXcYZtvtKXJDu6Q=; b=RoUAWdEvUHXmsMlAvO58wfGSl1lxBRW/kiuaB6/MzgEb62cYsdpCqWhjgpblOensWZ P5NoRD0M0NJnZSk2qJDTj6SFxLH3er7yFmo1158UCjBE7bLcE520LtFCUv5vHbYYhm2X WNLSGdQyAz/YCT4PDSd1oy2nd6HdhEeML8qNc= Received: by 10.236.192.135 with SMTP id i7mr1461487yhn.48.1312474296075; Thu, 04 Aug 2011 09:11:36 -0700 (PDT) MIME-Version: 1.0 Received: by 10.146.213.4 with HTTP; Thu, 4 Aug 2011 09:11:16 -0700 (PDT) In-Reply-To: References: From: Ashish Agarwal Date: Thu, 4 Aug 2011 12:11:16 -0400 Message-ID: To: Damien Doligez Cc: caml users Content-Type: multipart/alternative; boundary=20cf303f63a631c43004a9b03ccd Subject: Re: [Caml-list] Great Renaming --20cf303f63a631c43004a9b03ccd Content-Type: text/plain; charset=ISO-8859-1 Thank you for making this change! It is very important. On Fri, Jul 29, 2011 at 11:16 AM, Damien Doligez wrote: > 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 > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --20cf303f63a631c43004a9b03ccd Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Thank you for making this change! It is very important.


On Fri, Jul 29, 2011 at 11:16 AM, Damien Doligez <damien.doligez@i= nria.fr> wrote:
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


--
Caml-list mailing list. =A0Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--20cf303f63a631c43004a9b03ccd--