From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
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 3E2BB7EF5E
	for <caml-list@sympa.inria.fr>; Mon, 25 Jul 2016 20:43:53 +0200 (CEST)
IronPort-PHdr: 9a23:IU8JxRK4y8/wnUts7tmcpTZWNBhigK39O0sv0rFitYgUIv7xwZ3uMQTl6Ol3ixeRBMOAuqoC1bOd6vq/EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU0Z38jrrts7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWduD2dgxMDtuQPCTkOl4XwZGjEWnxxEGQnGxA39RpDw9DP9sfM70y6fa57YV7cxDBir6aZmTCjCHCEVMz9xpG3ejM19iORRvR+ntRh+64POeoiJNeNjc+XWfYVJFiJ6Qs9NWnkZUcuHZIwVAr9EZL4Aog==
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BIBgDTXJZXf0pWN0pchBV8uGiBfCSFcwQCAoF7EgEBAQEBAQEBEQEBCQsLCRcxQQEBAQIBCAKBYQQBEgGCEwEFI1YQCxoCJgICRxAGG4goBAqne41bAQEIJ4EBiXaHQSuCEh0BBIFFl2OGF4ouAWOHDA6Fa0iPWSUDhCFsAYN1gmAXgiABAQE
X-IPAS-Result: A0BIBgDTXJZXf0pWN0pchBV8uGiBfCSFcwQCAoF7EgEBAQEBAQEBEQEBCQsLCRcxQQEBAQIBCAKBYQQBEgGCEwEFI1YQCxoCJgICRxAGG4goBAqne41bAQEIJ4EBiXaHQSuCEh0BBIFFl2OGF4ouAWOHDA6Fa0iPWSUDhCFsAYN1gmAXgiABAQE
X-IronPort-AV: E=Sophos;i="5.28,420,1464645600"; 
   d="scan'208";a="185907025"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Jul 2016 20:43:52 +0200
Received: from [192.168.5.63] (235-233.dsl.iskon.hr [89.164.235.233])
	by smtp.webfaction.com (Postfix) with ESMTP id 231A4210E8F7;
	Mon, 25 Jul 2016 18:43:48 +0000 (UTC)
Date: Mon, 25 Jul 2016 20:43:46 +0200
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Hendrik Boom <hendrik@topoi.pooq.com>
Cc: "=?utf-8?Q?caml-list=40inria.fr?=" <caml-list@inria.fr>
Message-ID: <BFE8ED5DF840427F82B01CE42BDF21E0@erratique.ch>
In-Reply-To: <20160725183532.GA8529@topoi.pooq.com>
References: <20160725183532.GA8529@topoi.pooq.com>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
Subject: Re: [Caml-list] Filename.split_extension

Le lundi, 25 juillet 2016 =C3=A0 20:35, Hendrik Boom a =C3=A9crit :
> Where should I be looking?

Here http://caml.inria.fr/pub/docs/manual-ocaml/stdlib.html

Best,

Daniel