From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <adrien@notk.org>
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 AF9A4820A1
	for <caml-list@sympa.inria.fr>; Wed, 11 Sep 2013 21:45:19 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  adrien@notk.org) identity=pra; client-ip=91.121.71.147;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="adrien@notk.org"; x-sender="adrien@notk.org";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  adrien@notk.org designates 91.121.71.147 as permitted sender)
  identity=mailfrom; client-ip=91.121.71.147;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="adrien@notk.org"; x-sender="adrien@notk.org";
  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@nautica.notk.org) identity=helo;
  client-ip=91.121.71.147;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="adrien@notk.org";
  x-sender="postmaster@nautica.notk.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApsAAGDHMFJbeUeTl2dsb2JhbABbhlJpvFmBHRYOAQEBAQEIFgc8giUBAQUjZgsYAgIFEw4CAg8FGB0BJogGrX+ReoEpjkgWglM0gQADl3gBlRY6
X-IPAS-Result: ApsAAGDHMFJbeUeTl2dsb2JhbABbhlJpvFmBHRYOAQEBAQEIFgc8giUBAQUjZgsYAgIFEw4CAg8FGB0BJogGrX+ReoEpjkgWglM0gQADl3gBlRY6
X-IronPort-AV: E=Sophos;i="4.90,885,1371074400"; 
   d="scan'208";a="32490177"
Received: from nautica.notk.org ([91.121.71.147])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 11 Sep 2013 21:45:18 +0200
Received: by nautica.notk.org (Postfix, from userid 1003)
	id 3EC72C009; Wed, 11 Sep 2013 21:45:19 +0200 (CEST)
Date: Wed, 11 Sep 2013 21:45:19 +0200
From: Adrien Nader <adrien@notk.org>
To: caml-list@inria.fr
Message-ID: <20130911194519.GA20117@notk.org>
References: <20130910230928.2d51cd39@atmarama.noip.me>
 <CAPzAKVCSHcYmiqb4BbDkjAnLUkMxTi5OYFYZAJ5YediFFBbv6Q@mail.gmail.com>
 <20130911052437.GA9514@notk.org>
 <CAC3Lx=b6Ty-a=Su-cw6PWA9ad0=p6H=McfuC4a8d_MeSHwsb1Q@mail.gmail.com>
 <20130911183629.GB3764@notk.org>
 <20130911213433.38477bb8@atmarama.noip.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
In-Reply-To: <20130911213433.38477bb8@atmarama.noip.me>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [Caml-list] Re: OCaml vs Ada and/or GUI options

On Wed, Sep 11, 2013, Gour wrote:
> On Wed, 11 Sep 2013 20:36:29 +0200
> Adrien Nader <adrien@notk.org> wrote:
> 
> > There are screenshots on the tk website. The aspect has improved
> > through new themes (including ones for Windows and MacOS X, something
> > that GTK+ really needs to do; yes, only a theme...)
> 
> What about OCaml's bindings? Up-to-date with tk-8.6?

I don't use them but they build.

Note that they've been moved out of trunk on yesterday; I'm not sure
where they are now.

Btw, I'm fairly happy with such a change because it should help it
evolve (with releases not bound to the compiler releases for one).