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 p6T6rG2b008429 for ; Fri, 29 Jul 2011 08:53:18 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtkBADZYMk7RVdy2mGdsb2JhbAA1AQEBAQIBCwIHAjIBHxIMAwEMBwUEBxotFBMBEgEFAQsZBwEWFgkIl3w2hmwBhzRdCBQBAQEBAQgJDQcUJYh8BCOjagqMK4JUhGI7iG0CAwaGOwSCUJAqjEs8g14 X-IronPort-AV: E=Sophos;i="4.67,286,1309730400"; d="scan'208";a="114395167" Received: from mail-vx0-f182.google.com ([209.85.220.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Jul 2011 08:53:18 +0200 Received: by vxg33 with SMTP id 33so4854412vxg.27 for ; Thu, 28 Jul 2011 23:53:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=LMV0/wmzQ1py+vEX3cKlknuC36alSeinF9ud9FCVsQ8=; b=A9KjucSQ86A+b6gn8xYcWgXoEuZmmfaklaHE9G6Vdw60kRc8v0GXO/6/BbxE5Pe30U mlC+o6+ZUr0VkwJPHDYWUDEOo40MpvO/PYHrw8aaTBMrAkHqFd6aD9GnlSMTRYLM0aMp DDeeXDL2nthEaohNyRWEtToTWUcsrfegjnOgA= Received: by 10.52.111.161 with SMTP id ij1mr984662vdb.126.1311922397180; Thu, 28 Jul 2011 23:53:17 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.161.8 with HTTP; Thu, 28 Jul 2011 23:52:57 -0700 (PDT) In-Reply-To: <20110728210829.GA15671@aurora> References: <20110728210829.GA15671@aurora> From: Gabriel Scherer Date: Fri, 29 Jul 2011 08:52:57 +0200 Message-ID: To: caml-list@inria.fr, =?ISO-8859-1?Q?J=E9r=E9mie_Dimino?= Content-Type: multipart/alternative; boundary=bcaec548634674f22e04a92fbc5f Subject: Re: [Caml-list] [ANN] utop 1.0 released --bcaec548634674f22e04a92fbc5f Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable In case someone else is interested, I computed the transitive closure of the various dependencies. If you want to play with utop you will need: - utop: https://forge.ocamlcore.org/frs/download.php/664/utop-1.0.tar.gz - which depends on lambda-term: https://forge.ocamlcore.org/frs/download.php/663/lambda-term-1.0.tar.gz - which itself depends on zed: https://forge.ocamlcore.org/frs/download.php/662/zed-1.0.tar.gz - which relies on a version >=3D 8 of Camomile; if you still have version 7, compilation is going to fail (but only after the configure step; J=E9r=E9mi= e, consider this a bug report) http://prdownloads.sourceforge.net/camomile/camomile-0.8.3.tar.bz2 The good news is that you don't have to look at the build system used, "./configure; make; sudo make install" works like a charm. On Thu, Jul 28, 2011 at 11:08 PM, J=E9r=E9mie Dimino w= rote: > Hello, > > I am pleased to announce the first release of utop, a new toplevel for > OCaml. > > utop has two modes; in can run in a terminal or in emacs. In the > terminal it supports real-time completion, colors, parenthesis matching > and prompt customization. In emacs it supports completion and > integration with the tuareg mode, and behaves more like a toplevel than > the default one of the tuareg mode, i.e. you cannot erase the prompt. > > You can download utop here: > > https://forge.ocamlcore.org/projects/utop/ > > Enjoy! > > -- > J=E9r=E9mie > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --bcaec548634674f22e04a92fbc5f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable In case someone else is interested, I computed the transitive closure of th= e various dependencies. If you want to play with utop you will need:
- u= top:
=A0=A0=A0 https://forge.ocamlcore.org/frs/download.php/664/utop-1= .0.tar.gz
- which depends on lambda-term:
=A0=A0=A0 https://forge.ocamlco= re.org/frs/download.php/663/lambda-term-1.0.tar.gz
- which itself de= pends on zed:
=A0=A0=A0 https://forge.ocamlcore.org/frs/download.php/662/zed-1.0.tar.gz<= /a>
- which relies on a version >=3D 8 of Camomile; if you still have= version 7, compilation is going to fail (but only after the configure step= ; J=E9r=E9mie, consider this a bug report)
=A0=A0=A0 http://prdownloads.sourceforge.net/camomile/camomile-0.8.3.ta= r.bz2

The good news is that you don't have to look at the bu= ild system used, "./configure; make; sudo make install" works lik= e a charm.


On Thu, Jul 28, 2011 at 11:08 PM, J=E9r= =E9mie Dimino <j= eremie@dimino.org> wrote:
Hello,

I am pleased to announce the first release of utop, a new toplevel for
OCaml.

utop has two modes; in can run in a terminal or in emacs. In the
terminal it supports real-time completion, colors, parenthesis matching
and prompt customization. In emacs it supports completion and
integration with the tuareg mode, and behaves more like a toplevel than
the default one of the tuareg mode, i.e. you cannot erase the prompt.

You can download utop here:

=A0https://forge.ocamlcore.org/projects/utop/

Enjoy!

--
J=E9r=E9mie

--
Caml-list mailing list. =A0Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--bcaec548634674f22e04a92fbc5f--