[Feature Request] Support for _CoqProject file
Hello and thank you for your great plugin. I'm using it to follow Pierce's Software Foundation courses and it seems the latest version uses a _CoqProject file (as defined here: https://coq.inria.fr/refman/practical-tools/utilities.html#building-a-coq-project-with-coq-makefile) to organize modules.
It would be great if coq-au-vim had native support for this file, as it is somewhat tedious to tweak every file so that it will work within vim.
Best regards.
Edited by Virgile Robles