Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
doc
manual.tex
Find file
Blame
History
Permalink
In --coq mode, qualify references to MenhirLib modules.
· 496e9a8d
POTTIER Francois
authored
May 30, 2018
New options --coq-lib-path and --coq-lib-no-path control this behavior.
496e9a8d