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 p6SF3uNs009972
	for <caml-list@sympa-roc.inria.fr>; Thu, 28 Jul 2011 17:03:56 +0200
X-IronPort-AV: E=Sophos;i="4.67,282,1309730400"; 
   d="scan'208";a="114341368"
Received: from estephe.inria.fr (HELO [128.93.11.95]) ([128.93.11.95])
  by mail1-relais-roc.national.inria.fr with ESMTP; 28 Jul 2011 17:03:51 +0200
Message-ID: <4E317A57.8070904@inria.fr>
Date: Thu, 28 Jul 2011 17:03:51 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110424 Thunderbird/3.1.10
MIME-Version: 1.0
To: caml-list@inria.fr
References: <Pine.GSO.4.64.1107221312590.10171@abel.math.harvard.edu>
In-Reply-To: <Pine.GSO.4.64.1107221312590.10171@abel.math.harvard.edu>
X-Enigmail-Version: 1.1.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] The CAML Anthology

On 07/22/2011 07:14 PM, Nicolas Ojeda Bar wrote:

> Does anyone know if it is possible to get a copy of the
> INRIA document
> 
> 'The CAML Anthology' (1987)?
> 
> I don't think it is published.

I asked Gérard Huet, who, the next day, produced his paper copy of
that document.  Unfortunately, the LaTeX sources appear to be lost.

- Xavier Leroy