From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 5E50182355 for ; Sat, 6 Jan 2018 12:38:40 +0100 (CET) Authentication-Results: mail3-smtp-sop.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 Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=pra; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of oliver@first.in-berlin.de) identity=mailfrom; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="oliver@first.in-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@einhorn-mail.in-berlin.de) identity=helo; client-ip=192.109.42.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="oliver@first.in-berlin.de"; x-sender="postmaster@einhorn-mail.in-berlin.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ATjphIhRxnjBFHLMLuS++1Dg/Wtpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69YRaN2/xhgRfzUJnB7Loc0qyK6/mmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfa5+IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlS?= =?us-ascii?q?gHLSY0/mHJhMJtgqJUohyuqABwzIHJe4yVKOZycr/Bcd8GX2dMXMBcXDFBDIOm?= =?us-ascii?q?aIsPCvIMM/9cr4n8uVsBswG+DhSxCez1zD9Hm2H53akn2OkmFgHG2A0gH8wQv3?= =?us-ascii?q?TOt9j1OqYSUfquzKnU1znDbvVW1S7m54fWaBAhpfCMXbRqfcXM10YiDgXIhUiT?= =?us-ascii?q?p4z9Jz6Zy+AAv3aB4+Z9Se6ij3Qrpg5vrjS1xcogkovEi4APxlzZ9yh0xJw5Kc?= =?us-ascii?q?C2RUJme9KoDp9duieHPIVsWMwiWXtnuCMix70Gp5G7eC8KxYw5yB7ebfyHc4+I?= =?us-ascii?q?4gjlVOqIJDd3nnNleLalixaz90is0/bzWdeu0FZOrypFlMPAuW0T2BDL68iHTO?= =?us-ascii?q?Vy/lu51DqS0w3f9PtILV0omaffMZIszaA8moAQvEjbGy/5gkT2jKuYdkU+/eio?= =?us-ascii?q?7vzqYrLipp+dKY97lBv+P78gmsy+G+Q4KRQOU3Ka+eS6zbHs5lP2QK9Ojv03lK?= =?us-ascii?q?nVqo3VKtoDqq6jHwBVypoj6wq4Dzq+zNsXh3wHLFZcdBKDjojpIE3OLevjDfa/?= =?us-ascii?q?hlSsiC1ky+rHPr3nGJXNL2LMnK3vfbZnuAZgz184xNVbopZVEa0pIfTpW0a3us?= =?us-ascii?q?aLIAU+NlmTx+f5Bc81/IoYVW+LSvueNKLMvEWg6OM1OPXKZYlQsjvnL/kjofLj?= =?us-ascii?q?2yxq0WQBdLWkiMNEIEuzGe5rdh2U?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AYAQB3tFBahwgqbcBcHAEBAQQBAQoBA?= =?us-ascii?q?YUZJ4QHixiPaZk/CoU7AoR1FAEBAQEBAQEBAQESAQEBCgsJCCgvgjgigkkBAQE?= =?us-ascii?q?BAgEjFTwKCwsYAgIYDgICVxmKKQgEsEmCJ4o5MoEPgwqJAoMwgjqCS4JlBaNeg?= =?us-ascii?q?RWUHCFfiyeHb5MxgzkCBAIEBQIZAQaBNjaBcjIaCBwUPYIqgmSBdHeKEAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AYAQB3tFBahwgqbcBcHAEBAQQBAQoBAYUZJ4QHixiPaZk?= =?us-ascii?q?/CoU7AoR1FAEBAQEBAQEBAQESAQEBCgsJCCgvgjgigkkBAQEBAgEjFTwKCwsYA?= =?us-ascii?q?gIYDgICVxmKKQgEsEmCJ4o5MoEPgwqJAoMwgjqCS4JlBaNegRWUHCFfiyeHb5M?= =?us-ascii?q?xgzkCBAIEBQIZAQaBNjaBcjIaCBwUPYIqgmSBdHeKEAEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,321,1511823600"; d="scan'208";a="250242865" Received: from einhorn.in-berlin.de (HELO einhorn-mail.in-berlin.de) ([192.109.42.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Jan 2018 12:38:39 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: Received: from localhost (yak.in-berlin.de [192.109.42.109]) by einhorn.in-berlin.de (8.14.4/8.14.4/Debian-8+deb8u2) with ESMTP id w06BccCT018608 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Sat, 6 Jan 2018 12:38:38 +0100 Received: from x4db3831d.dyn.telefonica.de (x4db3831d.dyn.telefonica.de [77.179.131.29]) by webmail.in-berlin.de (Horde Framework) with HTTPS; Sat, 06 Jan 2018 12:38:38 +0100 Date: Sat, 06 Jan 2018 12:38:38 +0100 Message-ID: <20180106123838.Horde.URMMB2lE0F-9ap2zUOhpW_F@webmail.in-berlin.de> From: Oliver Bandel To: caml-list@inria.fr References: <20180103150857.bktw4faavkywm4cw@annexia.org> <07e8a536-984b-850b-6dec-2c30ea0cfb2d@inria.fr> <20180105215504.14aefb1f@xivilization.net> In-Reply-To: <20180105215504.14aefb1f@xivilization.net> User-Agent: Horde Application Framework 5 Content-Type: text/plain; charset=utf-8; format=flowed; DelSp=Yes MIME-Version: 1.0 Content-Disposition: inline Subject: Re: [Caml-list] OCaml reference manual non-free license Zitat von Marek Kubica (Fri, 5 Jan 2018 21:55:04 +0100) > On Thu, 4 Jan 2018 14:44:05 +0100 > Xavier Leroy wrote: > [...] > >> - Any translation or derivative work of the OCaml documentation and >> user's manual must be approved by the authors in writing before >> distribution. > > It also creates issues for people wanting to contribute to the OCaml > manual on e.g. GitHub. It is not possible to create a pull request with > a change to the manual on any public platform because that would be > publishing without approval. [...] As I understand it: The official, approved version is, what INRIA provides via *.tar.gz as ocaml release. Anything before is unapproved stuff, staged to become approved. Then providing pull-requests is no problem. And, btw. creating a pull-request does not mean that they are accepted, which is another step that seperates approved and non-approved. Regarding the quotation-problem, the official version might come with hashes and cryptographic igning of a document. But it seems, such thing is missing in science in general. For example measurement data can be found on many servers that provide data openly (which is good), but so far no hashsums or signing of the data is done. So, data corruption might occur, and the validity of data is gone. This is not only a problem of computer science / OCaml docs. Ciao, Oliver