Commit 5982bc98 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Remove spec.godiva, no longer needed.

parent 2dd524c6
Package: godi-menhir
Version: VERSION
Revision: 0
Depends: godi-ocaml (>= 4.02)
Maintainer: Franois Pottier <>
Docfiles: manual.pdf, menhir.1
Description: A LR(1) parser generator for Objective Caml.
Menhir compiles LR(1) grammar specifications down to Objective Caml code. It
accepts legacy ocamlyacc grammar specifications, with a few caveats. It is
superior to ocamlyacc in several ways. For instance, it offers a library of
standard parameterized definitions, including options, sequences, and lists,
and allows users to define their own parameterized nonterminal symbols. It
accepts LR(1) grammars, as opposed to only LALR(1) grammars, and attempts to
explain conflicts in a readable way. See the reference manual for a more
detailed overview of Menhir.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment