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 843F5820A1 for ; Thu, 12 Sep 2013 00:07:21 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=pra; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of garrigue@math.nagoya-u.ac.jp) identity=mailfrom; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="garrigue@math.nagoya-u.ac.jp"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhost.math.nagoya-u.ac.jp) identity=helo; client-ip=133.6.130.5; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="garrigue@math.nagoya-u.ac.jp"; x-sender="postmaster@mailhost.math.nagoya-u.ac.jp"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArMEACvoMFKFBoIFdGdsb2JhbABbgz/AWIEzDgEMFQg8giUBAQQBOgkBNQIDCwsYLkkBDQYTh3wFAQysYoRSAoU+iE0DBI9qB4MdgQCJOI5Ehi+OdA X-IPAS-Result: ArMEACvoMFKFBoIFdGdsb2JhbABbgz/AWIEzDgEMFQg8giUBAQQBOgkBNQIDCwsYLkkBDQYTh3wFAQysYoRSAoU+iE0DBI9qB4MdgQCJOI5Ehi+OdA X-IronPort-AV: E=Sophos;i="4.90,887,1371074400"; d="scan'208";a="26538155" Received: from rabbit.math.nagoya-u.ac.jp (HELO mailhost.math.nagoya-u.ac.jp) ([133.6.130.5]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Sep 2013 00:07:20 +0200 Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 0427F63AD; Thu, 12 Sep 2013 07:07:18 +0900 (JST) Received: from mailhost.math.nagoya-u.ac.jp (localhost [127.0.0.1]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTP id 774C140CC; Thu, 12 Sep 2013 07:07:18 +0900 (JST) DomainKey-Signature: h=Received:Subject:Mime-Version:Content-Type:From:In-Reply-To:Date:Cc:Content-Transfer-Encoding:Message-Id:References:To:X-Mailer; b=; c=nofws; d=math.nagoya-u.ac.jp; q=; s=alpha Received: from [10.5.33.220] (O-TK-MSC52000001.w-lan.jp [143.90.238.110]) by mailhost.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id 30AC22504; Thu, 12 Sep 2013 07:07:14 +0900 (JST) Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) Content-Type: text/plain; charset=us-ascii From: Jacques Garrigue In-Reply-To: <20130911194519.GA20117@notk.org> Date: Thu, 12 Sep 2013 07:06:54 +0900 Cc: OCaml Mailing Content-Transfer-Encoding: 7bit Message-Id: <01E3B552-6095-4FD8-8CA0-60758D4EDB72@math.nagoya-u.ac.jp> References: <20130910230928.2d51cd39@atmarama.noip.me> <20130911052437.GA9514@notk.org> <20130911183629.GB3764@notk.org> <20130911213433.38477bb8@atmarama.noip.me> <20130911194519.GA20117@notk.org> To: Adrien Nader X-Mailer: Apple Mail (2.1508) Subject: Re: [Caml-list] OCaml vs Ada and/or GUI options On 2013/09/12, at 4:45, Adrien Nader wrote: > On Wed, Sep 11, 2013, Gour wrote: >> On Wed, 11 Sep 2013 20:36:29 +0200 >> Adrien Nader 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. Here is their new home: https://forge.ocamlcore.org/projects/labltk/ No home page yet, but it compiles out of the box. > 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). Contributions are welcome. But personally I'm in maintenance mode :-) Jacques