From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: by yquem.inria.fr (Postfix, from userid 18965) id F0759BB81; Wed, 12 Apr 2006 09:32:46 +0200 (CEST) Date: Wed, 12 Apr 2006 09:32:46 +0200 From: Francois Pottier To: Caml Mailing List Subject: [ANN] Menhir mailing list and new release Message-ID: <20060412073246.GA14203@yquem.inria.fr> Reply-To: Francois.Pottier@inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.9i X-Spam: no; 0.00; parser:01 derivation:01 cristal:01 pottier:01 pottier:01 caml:02 objective:02 francois:02 francois:02 fpottier:02 fpottier:02 interface:05 inria:06 inria:06 discussion:07 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=ALL_TRUSTED autolearn=disabled version=3.0.3 Hello, I would like to announce the existence of a mailing list for announcements and discussion of issues related to Menhir, the LR(1) parser generator for Objective Caml. The Web interface to the mailing list is at http://yquem.inria.fr/cgi-bin/mailman/listinfo/menhir-list I would also like to announce a new release of Menhir. The most prominent change is that the conflict explanations even got better: comparing derivation trees is made easier by factoring out a greatest common factor. The new release is available via GODI or via the Web at http://pauillac.inria.fr/~fpottier/menhir/ -- François Pottier Francois.Pottier@inria.fr http://cristal.inria.fr/~fpottier/