You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The refman page on command line options for coqc is not exhaustive. There are some options, such as -indices-matter, that have a one line description in coqc --help and nothing else I can find. In the particular case of -indices-matter, I really am not enlightened by this line.
Description of the problem
The refman page on command line options for coqc is not exhaustive. There are some options, such as
-indices-matter
, that have a one line description incoqc --help
and nothing else I can find. In the particular case of-indices-matter
, I really am not enlightened by this line.c.c. @palmskog, who brought this to my attention.
Coq Version
dev
The text was updated successfully, but these errors were encountered: