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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4853E82355 for ; Wed, 3 Jan 2018 20:12:48 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKx/T2x1XchKmRJ7bsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0TKPad9pjvdHbS+e9qxAeQG9mDsrQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPfglEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmhi?= =?us-ascii?q?cJOSAk/m/UhMx/g75Urw+jqBNx2IPUfJ2ZOeBicq/BZ94WW2xMVdtRWSxbBYO8?= =?us-ascii?q?apMCAegfMuZesob9vVoOrRijDgSxA+PvzTpIjWLx0K06zeshFxzJ3BYhH9INq3?= =?us-ascii?q?nUsNL1NL8VUeC01qXI1TLDb/RP2Tvn9IfIdRUhrOiKULltf8TRzkwvGBnEjlWW?= =?us-ascii?q?sYHqJTeV1uAXvGid4etvS+2vhHQhqw1rvzeg2MEhgZTKiIIN0l3J9CF0zJwoKd?= =?us-ascii?q?C5SEN3e8OoHZVNuy2AKod7TMwvTmd1sygg0LIGo4S0fC0SxZQn2RHfb/uHfpCS?= =?us-ascii?q?7RL7TuaRIDN4iGh5eLK4nxay9kmgxvfkVsmz11ZKtzBJncXLtnAIzxDT686HRe?= =?us-ascii?q?Vh/kq52DuC0xrf5vxFLE00j6bXNpAszqMqmpYOv0nOETf6mEDsg6+XckUk9PKo?= =?us-ascii?q?6+PiYrj+pp+TKYl0hRzkMqQvmcyyGvg4Mg8WX2ic+OSwzqXj/Ur+QLVTlPE5jq?= =?us-ascii?q?7ZsJXCKcQBuqG5GxNV0pok6xunEzipytEYnX0eIFJBeRKHlJTpNkrVIPH4CPe/?= =?us-ascii?q?m06jnC1qx/DAJL3hA4/CImLNkLf7Lv5B7BtXwQ83iNRe/I58C7cbIfu1VFWims?= =?us-ascii?q?bfC0oZPgq42efkQP960YZWDWKCBKODMaD6rViQ4eNpO+6LfckevzOreKtt3OLn?= =?us-ascii?q?kXJswQxVRqKux5ZCMH0=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BwAQBOKk1a/4aDpUVdGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBAYQkdCePH5ATmT8phRwChHMUAQEBAQEBAQEBAWoogjgigkoBBTp?= =?us-ascii?q?PCxgJJQ8FGESKLrQMij0BAQEHAQEBASSEE4h/gzCCOoJ8gjQFkzWQHJUpDXOTD?= =?us-ascii?q?phCNiKBTzIaCBsVPYIpCYRsIzeJUwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BwAQBOKk1a/4aDpUVdGQEBAQEBAQEBAQEBAQcBAQEBAYQ?= =?us-ascii?q?kdCePH5ATmT8phRwChHMUAQEBAQEBAQEBAWoogjgigkoBBTpPCxgJJQ8FGESKL?= =?us-ascii?q?rQMij0BAQEHAQEBASSEE4h/gzCCOoJ8gjQFkzWQHJUpDXOTDphCNiKBTzIaCBs?= =?us-ascii?q?VPYIpCYRsIzeJUwEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,503,1508796000"; d="scan'208";a="307562360" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail2-smtp-roc.national.inria.fr with ESMTP; 03 Jan 2018 20:12:46 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 39CB5C0102; Wed, 3 Jan 2018 14:12:45 -0500 (EST) Date: Wed, 3 Jan 2018 14:12:45 -0500 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20180103191245.GA16874@topoi.pooq.com> References: <20180103150857.bktw4faavkywm4cw@annexia.org> <267e5e21-2598-4ec5-9c42-3087f25fea0d@allanwegan.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <267e5e21-2598-4ec5-9c42-3087f25fea0d@allanwegan.de> User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] OCaml reference manual non-free license On Wed, Jan 03, 2018 at 07:13:14PM +0100, Allan Wegan wrote: > > The only way a reference manual can be admissible as a (citable) > > publication is if, once released, it is not editable. > > But, indeed, if it is not editable, it is not free anymore... Here is > > where we are stuck and have been for a long time with no escape (so > > far). > > Not working in science myself - but is it forbidden to cite a specific > version of a manual as published by one specific source? > > Just mentioning the repository where one got the manual from and the > commit ID or version ID given by the author should provide enough data > for everyone to be able to verify the cited source. Have a look at how the Wikipedia says to cite their pages. Then go do something similar. If you want, you can make available an official version (updated rarely, and possibly made avaailable in print form for those that want it so) and a development version, which changes continuously. Now and then produce a new edition, so that a citation can refer to page 75-79, second edition. -- hendrik > > > > -- > Allan Wegan > > Jabber: allanwegan@ffnord.net > OTR-Fingerprint: E4DCAA40 4859428E B3912896 F2498604 8CAA126F > Jabber: allanwegan@jabber.ccc.de > OTR-Fingerprint: A1AAA1B9 C067F988 4A424D33 98343469 29164587 >