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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 164F47FACB for ; Mon, 1 Sep 2014 12:22:29 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.233; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.233 as permitted sender) identity=mailfrom; client-ip=38.105.200.233; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout4.mail.janestreet.com) identity=helo; client-ip=38.105.200.233; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout4.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApYBABtIBFQmacjpnGdsb2JhbABZg2BXBIJ4wx6BXwEFh1CBFQgWEAEBAQEBCBQJPYQcER0BATgeAQY3AiQSAQUBIjWIIAMKmFNrijN4hQIBBY9SAREGCo8/gkMPMhKBQY8ihkKGfYFbhVyLdRgphRNrgk8BAQE X-IPAS-Result: ApYBABtIBFQmacjpnGdsb2JhbABZg2BXBIJ4wx6BXwEFh1CBFQgWEAEBAQEBCBQJPYQcER0BATgeAQY3AiQSAQUBIjWIIAMKmFNrijN4hQIBBY9SAREGCo8/gkMPMhKBQY8ihkKGfYFbhVyLdRgphRNrgk8BAQE X-IronPort-AV: E=Sophos;i="5.04,441,1406584800"; d="scan'208";a="92459171" Received: from mxout4.mail.janestreet.com ([38.105.200.233]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Sep 2014 12:22:27 +0200 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by mxout4.mail.janestreet.com with esmtps (UNKNOWN:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.82) (envelope-from ) id 1XOOkj-0004KS-U9 for caml-list@inria.fr; Mon, 01 Sep 2014 06:22:25 -0400 Received: from [172.27.229.230] (helo=mxgoog1.mail.janestreet.com) by tot-smtp with esmtps (UNKNOWN:AES256-GCM-SHA384:256) (Exim 4.72) (envelope-from ) id 1XOOkj-0006T0-Ri for caml-list@inria.fr; Mon, 01 Sep 2014 06:22:25 -0400 Received: from mail-ig0-f179.google.com ([209.85.213.179]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1:RC4-SHA:128) (Exim 4.72) (envelope-from ) id 1XOOkj-0007HU-Oq for caml-list@inria.fr; Mon, 01 Sep 2014 06:22:25 -0400 Received: by mail-ig0-f179.google.com with SMTP id r2so5564237igi.6 for ; Mon, 01 Sep 2014 03:22:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:date:message-id:subject:from:to:content-type; bh=jQWauTt/C92NGv0dROp5pG0+fFgPiHowm66dpoEoAQM=; b=0k0gYoaJrCgO/TMRZihnNK65amFfYB+Nk/hQ1zcPoLzH6PpQ+OeUW36nHBCgjUXtgJ HtgCpwLaD82s4VbK6KNR10era+w9/A4wOYUaMgY8QpxtHuZnhcv5PKYJWUUDbf/WjeNw MKaRix01mQPiP62Lk1shHBFRHSNsotLuXaZto= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=jQWauTt/C92NGv0dROp5pG0+fFgPiHowm66dpoEoAQM=; b=Ui/ph0yZo9z36m70aae0kCP6zblOdFULwD+LYRKmRRLQUzqZvZwHyXWh9hJe4womGq L+X1/vL2l9OAXuzgM8R8A/qbCxxA83A09vl7uMEihYQ3I4XQeLRwCLLQXLwKdD9SKLIa KtXcCNsFUBWwy/NIc3dbYXuGWGogeALHtLLo2+4+2ZesXOJ5JljRW92zJe8zeJHp0VMH +amVSgZJ30XIZfMtzX66xm0LnRjxbSLQ2XJm9kfRwXRBzAy/crv/VVk2IQOkW7XEvxkJ pDmD49MLD+RORSDjf98d5UMUETHM3Kpwa0ROogzUElUTkzHKtoUa/1tQQHkhdu+Fpa7/ eodA== X-Gm-Message-State: ALoCoQm1Lg/m8II8wIqSS29jN+erx7i0K2WMKaAtai8I0JTFZNNHf8axe6UUJMCopszue5e2oPoS5zIipc3FNskvEI3kPMTSQt5YZtSDqVSY/eoPDCO7hvVCBrYh/rZgb13gTntXscYk X-Received: by 10.50.143.73 with SMTP id sc9mr19956604igb.29.1409566945366; Mon, 01 Sep 2014 03:22:25 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.143.73 with SMTP id sc9mr19956590igb.29.1409566945242; Mon, 01 Sep 2014 03:22:25 -0700 (PDT) Received: by 10.50.241.14 with HTTP; Mon, 1 Sep 2014 03:22:25 -0700 (PDT) Date: Mon, 1 Sep 2014 11:22:25 +0100 Message-ID: From: Jeremie Dimino To: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a1134cb0e0f12ff0501fe6192 Subject: [Caml-list] [ANN] UTop 1.15 --001a1134cb0e0f12ff0501fe6192 Content-Type: text/plain; charset=UTF-8 Hi, I'm pleased to announce UTop 1.15. UTop is an improved toplevel for OCaml. Here are some of the recent changes: - support OCaml 4.02 - fix a stack overflow on large output - support `#ppx`, `-ppx` - support `-require` and `-syntax` for scripts - make utop.el compatible with melpa: http://melpa.milkbox.net You can find an introduction to UTop in this recent blog post: [1] http://opam.ocaml.org/blog/about-utop/ UTop is available via opam and some documentation can be found on the github project page: https://github.com/diml/utop Thanks for all the contributions, and especially to Peter Zotov who recently joined the project. Enjoy! -- Jeremie Dimino --001a1134cb0e0f12ff0501fe6192 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

I'm pleased to annou= nce UTop 1.15. UTop is an improved toplevel for
OCaml. Here are s= ome of the recent changes:

- support OCaml 4.02
- fix a stack overflow on large output
- support `#ppx`, `-p= px`
- support `-require` and `-syntax` for scripts
- ma= ke utop.el compatible with melpa: http= ://melpa.milkbox.net

You can find an introduction to UTop in this recent blo= g post:

UTop is available via opam and some documentation can be found on the<= /div>
github project page:

Thanks for all the contributions, and especially to Peter Zotov who
recently joined the project.

Enjoy!
<= div>
--=C2=A0
Jeremie Dimino

--001a1134cb0e0f12ff0501fe6192--