Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Gappa
coq
Repository
coq
configure.in
Find file
Blame
History
Permalink
Make the plugin compatible with both Coq 8.4 and 8.5.
· aa0273df
Guillaume Melquiond
authored
Feb 18, 2015
aa0273df