From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 56BB881792 for ; Mon, 8 Jul 2013 11:29:47 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0BAMmF2lEmacjlnGdsb2JhbABagztNgkG+IIEIHg4BAQEBAQYWCTyCIwEBBUABATcBDwsLDS4iEgEFARwGE4gPAwmbNYsLhEEBBY0FAgSOQ4EoB4Nwl1aPYxYphDg X-IPAS-Result: Am0BAMmF2lEmacjlnGdsb2JhbABagztNgkG+IIEIHg4BAQEBAQYWCTyCIwEBBUABATcBDwsLDS4iEgEFARwGE4gPAwmbNYsLhEEBBY0FAgSOQ4EoB4Nwl1aPYxYphDg X-IronPort-AV: E=Sophos;i="4.87,1019,1363129200"; d="scan'208";a="20336553" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Jul 2013 11:29:46 +0200 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1Uw7lQ-0002t5-7T for caml-list@inria.fr; Mon, 08 Jul 2013 05:29:44 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1Uw7lQ-00018o-6j for caml-list@inria.fr; Mon, 08 Jul 2013 05:29:44 -0400 Received: from mail-ie0-f179.google.com ([209.85.223.179]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1Uw7lQ-00053X-46 for caml-list@inria.fr; Mon, 08 Jul 2013 05:29:44 -0400 Received: by mail-ie0-f179.google.com with SMTP id c10so9490581ieb.38 for ; Mon, 08 Jul 2013 02:29:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=78dQ3xCNMyx60fOZHLR5dsm90LQpkerw8YG4RrfakXM=; b=gJp0ceVW76VxM9ancT5xHfwSASZH6leaUmLYNZ0tlrkiYZbs1ULp7v7ZkAPcV/OEE6 nvhI/l2WCLAOWD70lLEGv78gT0YS+HstUeT2SVVdWf8k5r1J0khvXO18Qu+murmRT2f9 K1hNpTBC405aprxsN1JAi6cyT1RgP5qXeizjU= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:x-gm-message-state; bh=78dQ3xCNMyx60fOZHLR5dsm90LQpkerw8YG4RrfakXM=; b=nardgFq4QRQH/mU2iVl3tpN98dKnA5XE7RGSNMb/3i8CHkZPX+vYxwMw3qymcyw3C8 FupVo5tkx3GKd1/Dr/4Fgk5opDUdNVDRHvuo2TqExIwgW7XrD2CwxKZml8YBBT10wIWw 4JAJMn0NUkbvpRPtm5SOyE8Gk8iaVxLD2yIBTTk/eW8SqtR91np4+P+Uogyc47HQnPQ2 uHtRlmY37V13zUx3/SHRkFcWWqgl4gE8aEIlF5CwhWMv36X2O7yXn7XDn8cqQxQVn89o orlmRFwYO3JBFTAmUEjoltwm1JjfY/Ea7pUREHmjv6MT2tnl18m1qD40t/leq2u9mxza xlhg== X-Received: by 10.50.1.37 with SMTP id 5mr32708032igj.29.1373275783819; Mon, 08 Jul 2013 02:29:43 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.1.37 with SMTP id 5mr32708029igj.29.1373275783750; Mon, 08 Jul 2013 02:29:43 -0700 (PDT) Received: by 10.50.41.99 with HTTP; Mon, 8 Jul 2013 02:29:43 -0700 (PDT) In-Reply-To: References: Date: Mon, 8 Jul 2013 10:29:43 +0100 Message-ID: From: Jeremie Dimino To: Dagnat Fabien Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Gm-Message-State: ALoCoQkAsd9qYH9FmOz6ZMgvz2GjBQv+BaTJpNCiWLRbbBvq4HqoeaY3xGWQukXFGo0dk3yRR2Zb4tXCGqEStlmzdVLtZgXjVPnepGtZ36+NmRrlMzAMbii2qkYSBj2uen8AXKqs6KEnE5His6ugBMYc30hIaw78lQ== Subject: Re: [Caml-list] Documentation of utop Hi Fabien, There is no such documentation for utop at the moment. Most parts of chapter 9 from the OCaml manual still apply to utop so it should be easy to copy&paste and adapt it to utop. Could you open a ticket on github [1] so I remember to do that? Also contributions are welcome ;) [1] https://github.com/diml/utop/issues Cheers, Jeremie On Fri, Jul 5, 2013 at 5:11 PM, Dagnat Fabien wrote: > Hello, > Teaching ocaml, I used to introduce it using the good old ocaml toplevel (with 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 corresponding part (chapter 9) of the ocaml manual. > > I have not found anything about utop using google. The only thing is the readme but it is more an installation guide than a usage guide. Does anyone know of an equivalent reference for utop? > > Thank you in advance > Fabien -- Jeremie