From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 7EAC07EDD9 for ; Mon, 8 Oct 2012 14:12:49 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jonathan.protzenko@gmail.com) identity=pra; client-ip=209.85.214.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of jonathan.protzenko@gmail.com designates 209.85.214.54 as permitted sender) identity=mailfrom; client-ip=209.85.214.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="jonathan.protzenko@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f54.google.com) identity=helo; client-ip=209.85.214.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jonathan.protzenko@gmail.com"; x-sender="postmaster@mail-bk0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsQBAO/BclDRVdY2k2dsb2JhbABFgm68LggjAQEBAQkJCwkUBCOCIAEBAQQSAiQIARscAQEDDAYFCw0JDAoPCQMCAQIBEREBBQEOAQ0GDQEHAQEeh1ABAw8BCpsBCQOMJYJ1hCcKGScNWYh1AQUMi0OCY4MtA5I6gzGBFY06P4QP X-IronPort-AV: E=Sophos;i="4.80,553,1344204000"; d="scan'208";a="158254192" Received: from mail-bk0-f54.google.com ([209.85.214.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Oct 2012 14:12:48 +0200 Received: by mail-bk0-f54.google.com with SMTP id jf20so2332285bkc.27 for ; Mon, 08 Oct 2012 05:12:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=GW/NdAhbFbpU6u9oHbs8spTHV0+Qz+Yc9U0D4f1KRpw=; b=Fq5U9bajhw3jCzwTYAD+w++UIu5HG/+cODX6JI5h8MkwgcRI/FmTAnvRxv+3bIzMjT bKJ0V5P44Hw4px1hCt+ZpdBHd1WYzQqRxWe9jMM3p6HzPmkEb7X2OmRkWOfte4JD4KNu Hvy/fYhosWwxVHBSL4vlvZDxsaCrALA7fFbdXycrIqhHhEBN57biQuobnuZwCnOOwqej oEcpgGgktzLw2kgFMiBXGOXZR38lb2CU84h7KL8wc/95FIBQvCBash3vA1zFn1ruqQDk K7AwGlOwM/Vj2nCBOZuMqnAPB2uLWkoHXXaJzP0fOYuyrCgQLYiQxgfuMGJRgonLrUVy 9HPA== Received: by 10.205.132.72 with SMTP id ht8mr5034247bkc.72.1349698368532; Mon, 08 Oct 2012 05:12:48 -0700 (PDT) Received: from ?IPv6:2001:660:3013:3:f6ce:46ff:fe2d:a9ae? ([2001:660:3013:3:f6ce:46ff:fe2d:a9ae]) by mx.google.com with ESMTPS id fm5sm6374753bkc.5.2012.10.08.05.12.46 (version=SSLv3 cipher=OTHER); Mon, 08 Oct 2012 05:12:47 -0700 (PDT) Message-ID: <5072C33B.4070301@gmail.com> Date: Mon, 08 Oct 2012 14:12:43 +0200 From: Jonathan Protzenko User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:18.0) Gecko/18.0 Thunderbird/18.0a1 MIME-Version: 1.0 To: Damien Doligez CC: caml announce , caml users References: <2EC68B8B-5442-40FF-954A-C8E2F7927E33@inria.fr> In-Reply-To: <2EC68B8B-5442-40FF-954A-C8E2F7927E33@inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] OCaml 4.00.1 released Dear OCaml users on Windows, The self-installer has been updated, it is available at . As usual, if you want to help improve the installer script for Windows, I'll gladly accept any patches. Happy (?) Windows hacking, jonathan On 10/05/2012 02:45 PM, Damien Doligez wrote: > Dear OCaml users, > > We have the pleasure of celebrating the birthdays of Denis Diderot > by announcing the release ofOCaml version 4.00.1. > This is mainly a bug-fix release, see the list of changes below. > > It is available here: < http://caml.inria.fr/download.en.html > > > This is released as source for the time being, but the binary > versions should be available soon. > > We would like to take the opportunity to thank all the packagers > out there who make this easy to install for end users without > recompiling. > > Happy hacking, > > -- Damien Doligez for the OCaml team. > > > OCaml 4.00.1: > ------------- > > Bug fixes: > - PR#4019: better documentation of Str.matched_string > - PR#5111: ocamldoc, heading tags inside spans tags is illegal in html > - PR#5278: better error message when typing "make" > - PR#5468: ocamlbuild should preserve order of parametric tags > - PR#5563: harden Unix.select against file descriptors above FD_SETSIZE > - PR#5690: "ocamldoc ... -text README" raises exception > - PR#5700: crash with native-code stack backtraces under MacOS 10.8 x86-64 > - PR#5707: AMD64 code generator: do not use r10 and r11 for parameter passing, > as these registers can be destroyed by the dynamic loader > - PR#5712: some documentation problems > - PR#5715: configuring with -no-shared-libs breaks under cygwin > - PR#5718: false positive on 'unused constructor' warning > - PR#5719: ocamlyacc generates code that is not warning 33-compliant > - PR#5725: ocamldoc output of preformatted code > - PR#5727: emacs caml-mode indents shebang line in toplevel scripts > - PR#5729: tools/untypeast.ml creates unary Pexp_tuple > - PR#5731: instruction scheduling forgot to account for destroyed registers > - PR#5735: %apply and %revapply not first class citizens > - PR#5738: first class module patterns not handled by ocamldep > - PR#5742: missing bound checks in Array.sub > - PR#5744: ocamldoc error on "val virtual" > - PR#5757: GC compaction bug (crash) > - PR#5758: Compiler bug when matching on floats > - PR#5761: Incorrect bigarray custom block size > >