From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 819731E6 for ; Sat, 22 Dec 2018 01:37:27 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,383,1539640800"; d="scan'208";a="361492385" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Dec 2018 02:37:26 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3CA2F82566; Sat, 22 Dec 2018 02:37:26 +0100 (CET) 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 D4B3E824CF for ; Sat, 22 Dec 2018 02:37:17 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=garrigue@math.nagoya-u.ac.jp; spf=None smtp.mailfrom=garrigue@math.nagoya-u.ac.jp; spf=None smtp.helo=postmaster@ms.math.nagoya-u.ac.jp IronPort-PHdr: =?us-ascii?q?9a23=3A3S9XAxxG2vpPCMzXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2uoWIJqq85mqBkHD//Il1AaPAd2Lraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HQbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CRWROQslfWCNcDI2/?= =?us-ascii?q?YYUBEe0PMP1Er4T/olsCsRu+CRWyCO7p1zRGhmX23ao/0+k5FQ/JxhAvH8sTsH?= =?us-ascii?q?vKt9X+KaYcXvqvzKnSzDXDYO5W1ing44XPfRAuu+uMXahxccre1EkgCRjIjlCK?= =?us-ascii?q?poz5PzOZzOINvHKU7+pnVeOgkXcrqxxrrje12sggkIvJhpoMx13C6C53zoE1Jd?= =?us-ascii?q?iiR056Z96pCJxQuD2AOItzRsMtX2ZouDwkxbEcvp67ZicKxIwoxx7ed/yHc5WI?= =?us-ascii?q?7Qn5WOmNJjd4gXRoc6+8iRaq6UWs1+PxW8eu3FtLtCZJj9fBumwX2xDO98SLUv?= =?us-ascii?q?tw80S71TqS1w3e6ftILV0qmafYMZIt3749m5gVvE/eBCH5gl/2g7WTdkg8+uin?= =?us-ascii?q?9eDnYrL+q5+ZLI94kAT+Pb4ymsy/G+g4NBIBX2ec+eW8zrLv5FD5TK9QgfIqiK?= =?us-ascii?q?XZsojaKdwapq6/HQBVzp4u5wuxAjqoytgVnGMLIE9LdR6blYTlJkzCLOj9Dfil?= =?us-ascii?q?glSslDlrx+rBPr3kGpjNIWLMkK37fbZ85E5c1RQ8wMta551OFrEBIOj/Wknru9?= =?us-ascii?q?zXCR84Mxa7z//6CNlnzIwRRXiDAq2BMK/Kq1+H+vovI/WQZI8SoDvyN+Iq5/vq?= =?us-ascii?q?jXMgnV8dfLKp3YcMZXCjHvVmJl2ZbmD2jtcAF2cKpAs+Q/bwhF2MSz4AL0q1Co?= =?us-ascii?q?c15zU6Do3uKYbYWsiKq7WE2G/vFZRTYiVCC0uQOXbubYSNHfkWPnG8OMhkxx4N?= =?us-ascii?q?XqG8RpRp+hi0rg711rcveuXd4DcZuo/u/N18++2Vkxg98i19Stnb2mrLTXkizT?= =?us-ascii?q?BAfCM/wK0q+R818VyEy6UtxqUATYUCtcMMaR8zMNvn98I/DtnzXgzbedLTEQSj?= =?us-ascii?q?S8mmRzc4QdUgypoTJU92Xde63Eiag3iaRoQNnrnOP6Qat7rG1iKodcN013aA0q?= =?us-ascii?q?AuiEgvB9YJPGbghLYtr1GOVb6MqF2QkuORTYpZ3CPJ8z3fn2+V+kRRTA42V6zK?= =?us-ascii?q?WmEWI1aQpN+/5FuQF7I=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CeAQBqlB1clwuCBoVKGhwBAQEEAQEHB?= =?us-ascii?q?AEBgWWCagNtEieMdY0FmBiBZwEMJYRBBIMMBgY0EgEDAQECAQEBAQETAQEBAQE?= =?us-ascii?q?IFgZMDII6KQGDJwYBATiBPYM1AYIAEDSkLBo1gh+CdgEBBYEwAYESgnMfgUsIj?= =?us-ascii?q?FaBf4E4DBOFURkCgSmDcYImhzcHiG02kGYJhxKKVxiBUVyHXodUjS+BIohEgwe?= =?us-ascii?q?BXYF3TThlAYJBCTWBXRqDU4MGgg6FTjAzAQEBAY8xAQE?= X-IPAS-Result: =?us-ascii?q?A0CeAQBqlB1clwuCBoVKGhwBAQEEAQEHBAEBgWWCagNtEie?= =?us-ascii?q?MdY0FmBiBZwEMJYRBBIMMBgY0EgEDAQECAQEBAQETAQEBAQEIFgZMDII6KQGDJ?= =?us-ascii?q?wYBATiBPYM1AYIAEDSkLBo1gh+CdgEBBYEwAYESgnMfgUsIjFaBf4E4DBOFURk?= =?us-ascii?q?CgSmDcYImhzcHiG02kGYJhxKKVxiBUVyHXodUjS+BIohEgweBXYF3TThlAYJBC?= =?us-ascii?q?TWBXRqDU4MGgg6FTjAzAQEBAY8xAQE?= X-IronPort-AV: E=Sophos;i="5.56,383,1539640800"; d="scan'208";a="361492369" Received: from bsd20.math.nagoya-u.ac.jp (HELO ms.math.nagoya-u.ac.jp) ([133.6.130.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Dec 2018 02:37:15 +0100 Received: from [192.168.0.12] (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ms.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id 64DEC9A9BEC for ; Sat, 22 Dec 2018 10:37:12 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=math.nagoya-u.ac.jp; s=20160220; t=1545442632; bh=F1k9pGz8kMF79uSOOt8XjsWxCgCpaLocjuehRLLwzgI=; h=From:Subject:Date:To; b=GuwUrYiKo4XLmb6r2xxmpqUhDkVMcnuXsgz9goCbXKVJhXRVkDypTNAY5RG8ZdZtR z9W/q230yDwXQXPZ3i7Bh7fHgwKJxNNxratvRpF9LORl253qPaCNQPcV73gqZyWGlI a4zVgKJKvQMvz5QhkeexHNyPK6zIQ8Mwqrs1GJoA= From: Jacques Garrigue Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Mac OS X Mail 12.2 \(3445.102.3\)) Message-Id: <469F118B-9478-4F84-B8B9-48A2B34285A1@math.nagoya-u.ac.jp> Date: Sat, 22 Dec 2018 10:37:10 +0900 To: Mailing List OCaml X-Mailer: Apple Mail (2.3445.102.3) X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.6.2 (ms.math.nagoya-u.ac.jp [0.0.0.0]); Sat, 22 Dec 2018 10:37:12 +0900 (JST) X-Virus-Scanned: clamav-milter 0.99.2 at bsdserver20 X-Virus-Status: Clean X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on bsdserver20.math.nagoya-u.ac.jp Subject: [Caml-list] LablGtk 3.0.beta3 Reply-To: Jacques Garrigue X-Loop: caml-list@inria.fr X-Sequence: 17259 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Dear LablGtk users, Here is a third beta release of Lablgtk3. It includes support for GtkBuilder as a replacement to libglade, thanks to the Matita people. It is available for download at the usual location: http://lablgtk.forge.ocamlcore.org https://forge.ocamlcore.org/frs/download.php/1775/lablgtk-3.0.beta3.tar.gz The opam package is on its way: https://github.com/ocaml/opam-repository/pull/13191 The code and bug reports are on GitHub https://github.com/garrigue/lablgtk/tree/lablgtk3 (for the lablgtk3 branch) Jacques Garrigue -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs