From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6245B7ED11 for ; Sun, 18 Sep 2016 14:56:47 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@askra.de; spf=None smtp.mailfrom=hendrik@askra.de; spf=None smtp.helo=postmaster@mx4.sysproserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@askra.de) identity=pra; client-ip=79.133.52.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="hendrik@askra.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@askra.de) identity=mailfrom; client-ip=79.133.52.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="hendrik@askra.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx4.sysproserver.de) identity=helo; client-ip=79.133.52.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@askra.de"; x-sender="postmaster@mx4.sysproserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AsyVtbB+WzqzcOv9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?2+wcTK2v8tzYMVDF4r011RmSDNydu6sP17Ke8/i5HzdRudDZ6DFKWacPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4?= =?us-ascii?q?bt74BpTVx5zukbvjotuDOk4U3HL9Oeo0d0Tu612J94E/ushLEu4J0BzHo39FKa?= =?us-ascii?q?x95FhDAhatpSv6/dq655V58i5d6LoL/s9EVrjmLexjFeQLRBxvCW0+5dXquB/f?= =?us-ascii?q?VkPPoyJECiRF2iZPVi/u5RT+FrPwqTey4uF03S3fOcztUZg1Xy6j5uFlUkm7pj?= =?us-ascii?q?0AMmsZ/WfbkM1zxJ5Wvwnp8xxyxYLOYYK9PeF9ZKqbcd5MFjkJZdpYSyEUWtD0?= =?us-ascii?q?VIAIFedUeL8A94Q=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AFAABzjt5XlyQ0hU9dRwEXAQYBgwMBA?= =?us-ascii?q?QEBAXV8AbpyJIJEhGs8EAEBAQEBAQEBAQEBEgEBAQEBCBYHSIIyBAEVAQSDTDQ?= =?us-ascii?q?BBEmIXQQBCaVwnDmVDh0FmW+PXGdxAYgIhgmQXzWCTwELAVOBXHABhXaBQAEBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0AFAABzjt5XlyQ0hU9dRwEXAQYBgwMBAQEBAXV8AbpyJIJ?= =?us-ascii?q?EhGs8EAEBAQEBAQEBAQEBEgEBAQEBCBYHSIIyBAEVAQSDTDQBBEmIXQQBCaVwn?= =?us-ascii?q?DmVDh0FmW+PXGdxAYgIhgmQXzWCTwELAVOBXHABhXaBQAEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,356,1470693600"; d="scan'208";a="193816849" Received: from mx4.sysproserver.de ([79.133.52.36]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Sep 2016 14:56:46 +0200 Received: from elite.askra.de (ip923449cd.dynamic.kabel-deutschland.de [146.52.73.205]) by mx4.sysproserver.de (Postfix) with ESMTPSA id 86DB3657B3 for ; Sun, 18 Sep 2016 14:56:45 +0200 (CEST) Received: from hgw ([127.0.0.1] helo=elite.askra.de) by elite.askra.de with esmtp (Exim 4.84_2) (envelope-from ) id 1blbeG-0007rS-Pt for caml-list@inria.fr; Sun, 18 Sep 2016 14:56:44 +0200 From: Hendrik Tews To: OCaml List Date: Sun, 18 Sep 2016 14:56:44 +0200 Message-ID: <87poo1z7qr.fsf@elite.askra.de> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: [Caml-list] Enhanced OCaml Documentation 4.03 Dear all, I would like to announce The Enhanced OCaml Documentation Version 4.03 available via http://www.askra.de/software/ocaml-doc/4.03 This version of the OCaml manual enhances the original html version in the following ways: - Changes (wrt version 4.02) are tagged with icons and color - an additional appendix contains all grammar rules Enjoy, Hendrik