From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fabien.dagnat@telecom-bretagne.eu>
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 7E1FA81792
	for <caml-list@sympa.inria.fr>; Fri,  5 Jul 2013 18:11:33 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  fabien.dagnat@telecom-bretagne.eu) identity=pra;
  client-ip=192.108.117.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="fabien.dagnat@telecom-bretagne.eu";
  x-sender="fabien.dagnat@telecom-bretagne.eu";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  fabien.dagnat@telecom-bretagne.eu designates 192.108.117.8 as
  permitted sender) identity=mailfrom; client-ip=192.108.117.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="fabien.dagnat@telecom-bretagne.eu";
  x-sender="fabien.dagnat@telecom-bretagne.eu";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@zproxy210.enst-bretagne.fr) identity=helo;
  client-ip=192.108.117.8;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="fabien.dagnat@telecom-bretagne.eu";
  x-sender="postmaster@zproxy210.enst-bretagne.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AowBALrv1lHAbHUInGdsb2JhbABaxUMWDgEBAQEBCAsJCRQogmSBfYgiBJkGoAaSdmkDrCE
X-IPAS-Result: AowBALrv1lHAbHUInGdsb2JhbABaxUMWDgEBAQEBCAsJCRQogmSBfYgiBJkGoAaSdmkDrCE
X-IronPort-AV: E=Sophos;i="4.87,1002,1363129200"; 
   d="scan'208";a="24775165"
Received: from zproxy210.enst-bretagne.fr ([192.108.117.8])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 05 Jul 2013 18:11:33 +0200
Received: from localhost (localhost [127.0.0.1])
	by zproxy210.enst-bretagne.fr (Postfix) with ESMTP id 0E77966002
	for <caml-list@inria.fr>; Fri,  5 Jul 2013 18:11:33 +0200 (CEST)
X-Virus-Scanned: amavisd-new at zproxy210.enst-bretagne.fr
Received: from zproxy210.enst-bretagne.fr ([127.0.0.1])
	by localhost (zproxy210.enst-bretagne.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id oRO+WT-6Llb4 for <caml-list@inria.fr>;
	Fri,  5 Jul 2013 18:11:32 +0200 (CEST)
Received: from portdagnat.secure.enstb.org (portdagnat.secure.enstb.org [193.50.97.194])
	by zproxy210.enst-bretagne.fr (Postfix) with ESMTPSA id D4D5066001
	for <caml-list@inria.fr>; Fri,  5 Jul 2013 18:11:32 +0200 (CEST)
From: Dagnat Fabien <fabien.dagnat@telecom-bretagne.eu>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
Message-Id: <CDC96B71-4B09-4E05-855F-EB9A658CA15E@telecom-bretagne.eu>
Date: Fri, 5 Jul 2013 18:11:32 +0200
To: "caml-list@inria.fr" <caml-list@inria.fr>
Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\))
X-Mailer: Apple Mail (2.1508)
Subject: [Caml-list] Documentation of utop

Hello,
Teaching ocaml, I used to introduce it using the good old ocaml toplevel (w=
ith ledit). I think utop could offer a better experience to my students.
While introducing them to the toplevel I used to refer them to the correspo=
nding part (chapter 9) of the ocaml manual.=20

I have not found anything about utop using google. The only thing is the re=
adme but it is more an installation guide than a usage guide. Does anyone k=
now of an equivalent reference for utop?

Thank you in advance
Fabien