CODEWITHSUNDEEP
commentscoq
Rincewind
Rincewind

Reputation: 317

Comments in _CoqProject

Is there a way to have comments in a _CoqProject file?

I'd like to compile only part of a library, without completely removing all the other files from the _CoqProject file.

Upvotes: 1

Views: 1256

Answers (1)

Anton Trunov
Anton Trunov

Reputation: 15414

# is treated as a comment-the-rest-of-the-line symbol.

I think it is not documented as of now (see issue #7647). But the source code and some experiments show that it works.

Upvotes: 2

Related Questions