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 331727FA5E for ; Wed, 19 Apr 2017 10:42:02 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.37,220,1488841200"; d="scan'208";a="220809200" Received: from mp-41019.paris.inria.fr ([128.93.65.79]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 19 Apr 2017 10:42:01 +0200 To: caml users From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= Message-ID: <58F72300.9090909@inria.fr> Date: Wed, 19 Apr 2017 10:42:40 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0) Gecko/20100101 Thunderbird/38.7.2 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: [Caml-list] New release of Menhir (20170418) Dear OCaml users, It is my pleasure to announce a new release of Menhir, which is available as of now via opam. opam update && opam install menhir The main changes are as follows: - Changed Menhir's license from QPL to GPLv2. MenhirLib remains under LGPLv2, with a linking exception. - Moved the repository to gitlab.inria.fr, where it is public. - Many additions to the incremental API, suggested by Frédéric Bour. - A new library, MenhirSdk, allows external tools to get access to a description of the grammar and automaton. This was also proposed by Frédéric Bour. This change and the previous one, together, allow error recovery strategies to be precomputed and implemented. For more details, see the change log: https://gitlab.inria.fr/fpottier/menhir/blob/master/CHANGES.md Enjoy, -- François Pottier francois.pottier@inria.fr http://gallium.inria.fr/~fpottier/