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 p7N8fN7U016730 for ; Tue, 23 Aug 2011 10:41:23 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4CAAhnU07RVaC2kGdsb2JhbABBhEuYH4s3CBQBAQEBCQkNBxQEIYFAAQEBAQMSAg8dATgBAwwBBQULDwImAgIiEgEFARwGNYdTmUkKi3mDFYU7iSgCAwaBJoQMgRAEkxmMWzyBQoIj X-IronPort-AV: E=Sophos;i="4.68,268,1312149600"; d="scan'208";a="116642525" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Aug 2011 10:41:18 +0200 Received: by mail-gy0-f182.google.com with SMTP id 10so6465403gyd.27 for ; Tue, 23 Aug 2011 01:41:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=GJHJQVMmlGjYlf3elxDLOGzt+ZWmz1gBJJOxnVfwJ3Y=; b=G9x+vyaXm3vbysdbfSAoqe7J2J+IQEfH7FUZTDSo09C38WOQZhVVj+G94j356ClBuA H1E1DV2pGPiyGuymBM7fpwLJD73H13xpmsqHyAb7aang6DtidHBbipwR3J70bqmMc3PT OQaG3t+jH87a1prexDZMYl71yHNhsKZCo/fVg= MIME-Version: 1.0 Received: by 10.150.75.21 with SMTP id x21mr3759684yba.209.1314088877188; Tue, 23 Aug 2011 01:41:17 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.147.41.2 with HTTP; Tue, 23 Aug 2011 01:41:17 -0700 (PDT) In-Reply-To: References: Date: Tue, 23 Aug 2011 10:41:17 +0200 X-Google-Sender-Auth: M8qdCCEGB-Wry0HF1UmHcwId0lo Message-ID: From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Damien Doligez Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Great Renaming Now implemented here aswell : http://ocamlunix.forge.ocamlcore.org/ Btw. would it be possible to mention that link on this : http://caml.inria.fr/resources/doc/index.en.html page ? Best, Daniel