_CoqProject 中的评论

Question

有没有办法在 _CoqProject 文件中添加注释？

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

Answer 1

# 被视为注释行的其余部分符号。

我认为目前还没有记录（参见 issue #7647). But the source code 一些实验表明它有效。