Mentions légales du service

Skip to content

compatibility with the new version of menhir

LAWALL Julia requested to merge nomod into master

Menhir 20200525 does not allow the use of module abbreviations, so inline the full module names.

Reported-by: François Pottier francois.pottier@inria.fr

Merge request reports