From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 502155D4 for ; Tue, 17 Sep 2019 16:18:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,517,1559512800"; d="scan'208";a="402180079" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Sep 2019 18:18:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id DB3B87EF60; Tue, 17 Sep 2019 18:18:02 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9E47C7EF07 for ; Tue, 17 Sep 2019 18:17:56 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn-mail.in-berlin.de IronPort-PHdr: =?us-ascii?q?9a23=3AhG3iAhH34ksLIqWKhBNtC51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zo8ywAkXT6L1XgUPTWs2DsrQY0rGQ6v6rBjVIoc7Y9ixbKtoUD15NoP?= =?us-ascii?q?5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanIVvJrwsxhbIrXdFef?= =?us-ascii?q?lazn5sKV6Pghrw/Mi98IN9/yhKp/4t68tMWrjmcqolSrBVEC4oOH0v6s3xshnD?= =?us-ascii?q?QwqP5n8CXWgTjxFFHQvL4gzkU5noqif1ufZz1yecPc3tULA7Qi+i4LtxSB/pky?= =?us-ascii?q?gIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHXmdKQNpfWDJdDYO9?= =?us-ascii?q?d4sPDvQOPeBEr4nmulACqQKyCRSwCO/zzzNFgGL9068n3OQ7CQzI0gwuEcwTvn?= =?us-ascii?q?rXotX6O7sdXv23w6bG1jjDc+9a1C3h5ITUaB0so/eBVq9wf8rLzkkvEhvIgEyU?= =?us-ascii?q?qYzkITOayP4NuHWG4uV6U+KglnAoqwVsqTWowccsjojJhpwLxVDe7ih5zoc1Jc?= =?us-ascii?q?ejSE5ne9KkEZ1QuziBOIRoWMMiR2BouCAgxrIbp5G2ZS4Hw4kkyR7Hc/GLbZWE?= =?us-ascii?q?7xD5WOqMJTp1hmhpdbGjixqo70Ss1uvxXdSu3llQtCpKiNzMu2gN1xPN7siHTe?= =?us-ascii?q?Nw8Vmg2TaJ1wDT7ftEIUYtmareMZEhw7owmoASsUTFByP5g1v5jLWSdkUl/Oik?= =?us-ascii?q?8fnobav+qp+dMY97lB3+P7wwlsCiA+k0KBUCUmyZ9Oim17Dv4Vf1TKtWgvEul6?= =?us-ascii?q?nWqpHaJcAVpq6jBA9V154u6xG7DzenztQXg2MHIUlLeBKGlYjpIE3OLOr5Dfe5?= =?us-ascii?q?mlijiylkx+rCPr3gBJXBNGXMn6n5cbZn90Fc0BYzzcxY559MFr4OOvfzWkvouN?= =?us-ascii?q?zcDx85KBC0zv38CNR904MeQXiADrWYMKPUq1+I5/ggL/OCZI8P637BLK0Z5/nr?= =?us-ascii?q?hGRxs1sUe6LhiYcXb3WxBbJsJ0yfalLrid4EFX8QuUw1S+m823OYVjsGQHKzQa?= =?us-ascii?q?8mrhsyDo6rCc+XQYSsnrGb9Cm6BIZKIGFAT1qBC3PpccOIVqFfO2qpPsZ9n2lc?= =?us-ascii?q?BvCaQIg72ETr7Veikuc1Hq/v4iQd8Knb+p116unUz05g+D1yD8OH1SSIRmBw2G?= =?us-ascii?q?IOAjU7xqR+pwpxxwXbiPQqs7ljDdVWoshxfEIiL5eGl750CsrpRkTAeJKDRUyi?= =?us-ascii?q?Q9PgDTxjFotgke9LWF50HpCZtj6G2iOrB7EPkLnRXM4687jHwz7wIYN3xmzC1a?= =?us-ascii?q?9ng1R0GsY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DZCACgBoFdexRQxdlmHgEGDYU/MiqEI?= =?us-ascii?q?Yh8hhKbQ4FnCQEDAQoBAS8BAYQ/AoJ8GwYGNBMCDAEBBAEBAQIBAgMEARMBAQs?= =?us-ascii?q?LCgcphUGCOikBgmcDAyNWEAsaAgUhAgIPSAYThTGudYEyhUyDOoFJgQwoi3gYg?= =?us-ascii?q?X+EIz6EDINDglgEng+OYIFFZ2mUDAwbdYEwAYtPiyWnDgIKBxWBaYF5MxoIHBQ?= =?us-ascii?q?7gmyRCT4DMJB2AQE?= X-IPAS-Result: =?us-ascii?q?A0DZCACgBoFdexRQxdlmHgEGDYU/MiqEIYh8hhKbQ4FnCQE?= =?us-ascii?q?DAQoBAS8BAYQ/AoJ8GwYGNBMCDAEBBAEBAQIBAgMEARMBAQsLCgcphUGCOikBg?= =?us-ascii?q?mcDAyNWEAsaAgUhAgIPSAYThTGudYEyhUyDOoFJgQwoi3gYgX+EIz6EDINDglg?= =?us-ascii?q?Eng+OYIFFZ2mUDAwbdYEwAYtPiyWnDgIKBxWBaYF5MxoIHBQ7gmyRCT4DMJB2A?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.64,517,1559512800"; d="scan'208";a="402180050" X-MGA-submission: =?us-ascii?q?MDFEns9TiTFYnlUUe3TkBe4ORQMGOrJadSNocx?= =?us-ascii?q?2e3XOTcHMApPUrGifBkt++/TQfWc5TCPJlwvKu+4pOoSCv2qHmesJEyr?= =?us-ascii?q?zwRQ2YzG8eG7tdTzCNz1BYIhJQAx0WUB+XHtYQjKejrGdtRTtd42fmCZ?= =?us-ascii?q?7oOxeoO+zoQ3D+4WatVzOwjA=3D=3D?= Received: from einhorn-mail.in-berlin.de ([217.197.80.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 17 Sep 2019 18:17:55 +0200 X-Envelope-From: oliver@first.in-berlin.de Received: from authenticated.user (localhost [127.0.0.1]) by einhorn.in-berlin.de with ESMTPSA id x8HGHspu016797 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Tue, 17 Sep 2019 18:17:54 +0200 Date: Tue, 17 Sep 2019 18:17:54 +0200 From: Oliver Bandel To: Thomas Blanc Cc: caml-list@inria.fr Message-ID: <20190917161754.d3aaoajth4msp5ht@first.in-berlin.de> References: <25b60c50-b961-c883-339c-a0012bc107b9@ocamlpro.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: <25b60c50-b961-c883-339c-a0012bc107b9@ocamlpro.com> User-Agent: NeoMutt/20180716 Subject: Re: [Caml-list] OCamlPro cheat-sheets updates Reply-To: Oliver Bandel X-Loop: caml-list@inria.fr X-Sequence: 17806 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Quoting Thomas Blanc (snt: 2019-09-17 14:32 +0200 CEST) (rcv: 2019-09-17 14:34 +0200 CEST): > Dear OCaml users, > > > It is our pleasure to announce the release of our up-to-date cheat-sheets > for the OCaml language and standard library. [...] Thank you! Oliver