Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
demos
find-menhir.sh
Find file
Blame
History
Permalink
New script find-menhir.sh, so as to allow compiling the demos
· 284ed1cd
POTTIER Francois
authored
Dec 10, 2014
even Menhir has not been installed yet.
284ed1cd