_CoqProject中的注释

Question

有没有办法在_CoqProject文件中添加评论？

我想编译只是库的一部分，而不是从_CoqProject文件中完全删除所有其他文件。

Answer 1

#被视为注释 - 其余的线条符号。

我认为现在没有记录（见issue #7647）。但是source code和一些实验表明它有效。