We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
This used to also be the case for coq.env.current-path, but we fixed it in #605.
coq.env.current-path
There is no available Coq API that would let us correctly implement coq.env.current-section-path at interp it seems (see here).
coq.env.current-section-path
CC @Janno.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
This used to also be the case for
coq.env.current-path
, but we fixed it in #605.There is no available Coq API that would let us correctly implement
coq.env.current-section-path
at interp it seems (see here).CC @Janno.
The text was updated successfully, but these errors were encountered: