Skip to content
GitLab
Explore
Sign in
Register
Manu Beffara
coq-au-vim
Repository
coq-au-vim
doc
coq.txt
Find file
Blame
History
Permalink
Support simple _CoqProject files.
· 213d6268
Adam Matoušek
authored
May 03, 2019
E.g. these from the Software Foundations books (at least the first two).
213d6268