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: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 3FB67BBBB for ; Mon, 20 Feb 2006 09:46:48 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k1K8klku031539 for ; Mon, 20 Feb 2006 09:46:48 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA11542 for ; Mon, 20 Feb 2006 09:46:47 +0100 (MET) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k1K8klUr000489 for ; Mon, 20 Feb 2006 09:46:47 +0100 Received: by yquem.inria.fr (Postfix, from userid 18965) id 29B9DBBBB; Mon, 20 Feb 2006 09:46:47 +0100 (CET) Date: Mon, 20 Feb 2006 09:46:47 +0100 From: Francois Pottier To: caml-list@inria.fr Subject: [Ann] Menhir available under GODI Message-ID: <20060220084647.GA8013@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-Miltered: at nez-perce with ID 43F981F7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43F981F7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; parser:01 ocaml:01 cristal:01 short:01 pottier:01 pottier:01 francois:02 francois:02 fpottier:02 fpottier:02 let:03 inria:05 inria:05 installed:05 console:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Dear all, This short note is to let you know that Menhir, the new LR(1) parser generator for OCaml, is now available through GODI. If you have installed GODI, just run godi_console and look for the package godi-menhir. More information about Menhir can be found at http://pauillac.inria.fr/~fpottier/menhir/ -- François Pottier Francois.Pottier@inria.fr http://cristal.inria.fr/~fpottier/