From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6MGVFh6003423 for ; Fri, 22 Jul 2011 18:31:15 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmYAAGalKU6C1yRbkWdsb2JhbAAyCxanRxQBAQEBCQsLBxQFIIh8rHwBhHyIeQWGP5dqjAM X-IronPort-AV: E=Sophos;i="4.67,248,1309730400"; d="scan'208";a="113728667" Received: from mail1.wpi.edu ([130.215.36.91]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Jul 2011 18:31:09 +0200 Received: from MAIL1.WPI.EDU (MAIL1.WPI.EDU [130.215.36.91]) by MAIL1.WPI.EDU (8.14.5/8.14.5) with ESMTP id p6MGV8WW018670; Fri, 22 Jul 2011 12:31:08 -0400 X-DKIM: Sendmail DKIM Filter v2.8.3 MAIL1.WPI.EDU p6MGV8WW018670 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=wpi.edu; s=_dkim; t=1311352268; bh=nFNLO2UFApOnEcYGHAOfUuNxooB+9RwS1EKxyivpfc8=; h=From:To:Cc:Subject:References:Reply-To:Date:In-Reply-To: Message-ID:MIME-Version:Content-Type; b=gQCvYsGsRztuhV6SBsQ7qNywLLkkm4pARA6bwXy1nZYvr7gqDesu+g7E4VR0rWox5 qGx0IpmPjUAVZYSzpqXsm00HEMhm1Q4AX225JRmPtgI9UA7tO+dd1JhGsak7y9Ks6J zZ+XfmJBXY+UOOv8TrE68NFfSdP1DcH+JXXYetbk= Received: from SMTP.WPI.EDU (SMTP.WPI.EDU [130.215.36.186]) by MAIL1.WPI.EDU (8.14.5/8.14.5) with ESMTP id p6MGV8Zb018668; Fri, 22 Jul 2011 12:31:08 -0400 Received: from guttman2 (guttman2.cs.wpi.edu [130.215.28.66]) by SMTP.WPI.EDU (8.14.4/8.14.4) with ESMTP id p6MGV7Yl007358; Fri, 22 Jul 2011 12:31:07 -0400 (envelope-from guttman@guttman2.cs.wpi.edu) Received: from guttman by guttman2 with local (Exim 4.74) (envelope-from ) id 1QkId1-0001w1-5G; Fri, 22 Jul 2011 12:31:07 -0400 From: "Joshua D. Guttman" To: David Allsopp Cc: "caml-list\@inria.fr" , guttman@WPI.EDU (Joshua D. Guttman) References: <86d3h2z5r8.fsf@guttman2.cs.wpi.edu> Reply-To: guttman@WPI.EDU (Joshua D. Guttman) Date: Fri, 22 Jul 2011 12:31:07 -0400 In-Reply-To: (David Allsopp's message of "Fri, 22 Jul 2011 16:19:16 +0000") Message-ID: <86wrfaxook.fsf@guttman2.cs.wpi.edu> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Subject: Re: [Caml-list] [Mantis Bug Tracker] [OCaml 0005317]: Errors in OCaml manual on web, Section 1.8 David Allsopp writes: > if you look in the repository, you'll see that Damien > fixed this issue two months ago ... but ... > the docs haven't been recompiled since 3.12.0 So, you mean that somewhere there's a version which -- if recompiled and posted to the web site -- would eliminate this error? That's good. However, there's this public repository of information, which, if you happened to read it any time in the last 11 months, would have an already reported, cheap-to-fix error. That seems a discordant note relative to the high quality of the work as a whole, and the highly devoted people who maintain it. Joshua -- Joshua D. Guttman WPI, Computer Science