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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id A25AF81792
	for <caml-list@sympa.inria.fr>; Tue,  9 Jul 2013 11:33:59 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail2-smtp-roc.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: AgECADjY21FKN1ZKlGdsb2JhbABagzsBg1S9f4EzDgEBAQEJCQsJEiqCJAEBBAECIFYQCxoCJgICKB8QBhuIBwQIqAaRUIEmjkUHglYzaQOVDoNuhGcTjjc
X-IPAS-Result: AgECADjY21FKN1ZKlGdsb2JhbABagzsBg1S9f4EzDgEBAQEJCQsJEiqCJAEBBAECIFYQCxoCJgICKB8QBhuIBwQIqAaRUIEmjkUHglYzaQOVDoNuhGcTjjc
X-IronPort-AV: E=Sophos;i="4.87,1027,1363129200"; 
   d="scan'208";a="25153601"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 09 Jul 2013 11:33:58 +0200
Received: from [172.20.10.2] (92.40.253.159.threembb.co.uk [92.40.253.159])
	by smtp.webfaction.com (Postfix) with ESMTP id C3C9121B07AE;
	Tue,  9 Jul 2013 09:33:56 +0000 (UTC)
Date: Tue, 9 Jul 2013 10:33:53 +0100
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Michael <michipili@gmail.com>
Cc: caml-list@inria.fr
Message-ID: <572AABCBE61A44C0B2CF24F9B03CBEDC@erratique.ch>
In-Reply-To: <51DBD740.3020109@gmail.com>
References: <CAA9EyWkxpDzoyh-jMd_SWHR2mKR7-fFR-WG8Lm4-V4vL5J688g@mail.gmail.com>
 <51DBD740.3020109@gmail.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] Re: Opening a module from toploop startup

Le mardi, 9 juillet 2013 =C3=A0 10:26, Michael a =C3=A9crit :
> Maybe could someone suggest an open-source project where customisation
> of the toplevel takes place?

You can checkout this thread [1].

Best,

Daniel

[1] http://lists.ocaml.org/pipermail/platform/2013-March/000380.html