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 E6F577FEF2 for ; Sat, 27 Feb 2016 16:49:49 +0100 (CET) IronPort-PHdr: 9a23:awZeHhVsegzwgW2k8SCeblWh4mzV8LGtZVwlr6E/grcLSJyIuqrYZhKFt8tkgFKBZ4jH8fUM07OQ6PC/HzJdqsbZ+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8KVPVgD1GL1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GPZTBTEidmQ0/9HDtB/ZTALJ6GFWGjEdmx9MRgzE9w3SX5HrsyK8uPAriweAOsijfLkuXjLqyqZtUxz5wHMWMj8/62LGos55iq9AvAisqgA5yInRNtLGfMFid7/QKItJDVFKWdxcAnRM Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yminsky@janestreet.com; spf=Pass smtp.mailfrom=yminsky@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CAAQBBxNFWknDIaSZehAxtBrw+IYVoAYEvBzsRAQEBAQEBAQEQAQEBAQcWCUULQQEBAwsCgVqCLREdAQE4JQ8CJgIkEgEFASI1h30DC6IQgTE+MYpNZ4RAAQSKAgEKAQEBFgIECnGFF4M9iDKBOo4kiG2BG4Q+iAmBSY0rjQwRHoEPNoJAgW5Mgh2DFIJ3AQEB X-IPAS-Result: A0CAAQBBxNFWknDIaSZehAxtBrw+IYVoAYEvBzsRAQEBAQEBAQEQAQEBAQcWCUULQQEBAwsCgVqCLREdAQE4JQ8CJgIkEgEFASI1h30DC6IQgTE+MYpNZ4RAAQSKAgEKAQEBFgIECnGFF4M9iDKBOo4kiG2BG4Q+iAmBSY0rjQwRHoEPNoJAgW5Mgh2DFIJ3AQEB X-IronPort-AV: E=Sophos;i="5.22,509,1449529200"; d="scan'208";a="166180025" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Feb 2016 16:49:48 +0100 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1aZh7q-0003Vo-Hy for caml-list@inria.fr; Sat, 27 Feb 2016 10:49:46 -0500 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BW0cWa-AAAG2c-QW; 2016-02-27 10:49:46.524131-05:00 Received: from mail-yk0-f172.google.com ([209.85.160.172]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1aZh7q-0005bB-Ep for caml-list@inria.fr; Sat, 27 Feb 2016 10:49:46 -0500 Received: by mail-yk0-f172.google.com with SMTP id u9so47246226ykd.1 for ; Sat, 27 Feb 2016 07:49:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:from:date:message-id:subject:to; bh=v5b50jMs3rAzW7Tgit+R4CR+Whr9nVnKi7WyfhnkiEQ=; b=M9DWsxXHYhcGYvGsT7eUhdEC7hslTdjs0FihYg6bekZzi2xkGGI+xSbr1vZDCsrpwo HFXbi1fijDafRJXQJHkPSw73oy7lKdv8CrJNLqffFytMAvc3POljBUI7KcqrsCTqWJwI w5PUy72EcdaM04VffIpHKux/iZ/ZvmUmiqkJ4= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=v5b50jMs3rAzW7Tgit+R4CR+Whr9nVnKi7WyfhnkiEQ=; b=jG8IhBx0rk8On6Vx3t0gxUdtjgoDHiTw5Ii294DgNLcp4jmOX6FUAPZj3ouw7WxViB TUJIEbAq6yn7Lo2pS0d2axpzclN4zaHsRV5dZSvFT4ZOsg1Xr0NgvvYON7R+EVrcO2jL ZQzubuuetRrDtzvaJJJhbTolJLkxI5kneDmcK3TyaRN/qhiZUHYBD4N2L0ulwDqMHS1q OLqgCu4tlPmDorXH9iK3DR8n7rcBLHNlJPelFCaNJ7Ct7Kqafl0rslQwpnliJ4RR6Aum SpYRkjkmdqLK036eeVhWRDDJXThQWy7FSQgJEmGxN4sHlsf13LDwOINHY/ceIjeMWLjq 3Q2g== X-Gm-Message-State: AD7BkJJeUq9hXC+hneJMBdXEFxqS5SnXmndlhBbaiZUkwIge/7I76UdoqOivyDbcfodIrnl9qjpNIzSScG8VbfZIG0zrUTLiUfoKGTMScfT/3kbJv1zw5gfSNzZ+9gn1SfNplIU7dJNi78q/F36/Hv68/g== X-Received: by 10.37.70.134 with SMTP id t128mr3926202yba.97.1456588186149; Sat, 27 Feb 2016 07:49:46 -0800 (PST) X-Received: by 10.37.70.134 with SMTP id t128mr3926192yba.97.1456588185898; Sat, 27 Feb 2016 07:49:45 -0800 (PST) MIME-Version: 1.0 Received: by 10.129.88.9 with HTTP; Sat, 27 Feb 2016 07:49:26 -0800 (PST) From:Yaron Minsky Date: Sat, 27 Feb 2016 10:49:26 -0500 Message-ID: To:"caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 X-JS-Processed-by: mailcore Subject: [Caml-list] Better documentation for Core and friends Just an FYI: we have a better version of the generated documentation for Core and Jane Street's other open source libraries, here: https://ocaml.janestreet.com/ocaml-core/latest/doc/ These aren't perfect, but they're in a much cleaner state due to improvements in the doc generation toolchain. There are still real improvements to make, but going forward, we expect to have up to date docs for every release. y