Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
coqBackend.ml
Find file
Blame
History
Permalink
Fix compatibility wrt Coq 8.7.2 and Coq 8.9.1.
· 5f195649
Jacques-Henri Jourdan
authored
Jun 22, 2019
5f195649