Mentions légales du service

Skip to content

Integrate Coq's MenhirLib

Jacques-Henri Jourdan requested to merge jh/coqMenhirLib into master

This addresses #1 (closed) by adding the corresponding option. Moreover, Coq's MenhirLib is now part of the default distribution.

The opam file contains the necessary tricks to make sure that MenhirLib is only installed when Coq is.

Merge request reports