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
-arg "-w all"
My _CoqProject file contains the line:
_CoqProject
but I got:
Failed to launch Coq. Unknown option -w all
while starting Coqtail.
My version of neovim is v0.9.5 and I use Coqtail v1.7.1.
v0.9.5
v1.7.1
Notice that I can replace the line by
-arg -w -arg all
The text was updated successfully, but these errors were encountered:
Successfully merging a pull request may close this issue.
My
_CoqProject
file contains the line:but I got:
while starting Coqtail.
My version of neovim is
v0.9.5
and I use Coqtailv1.7.1
.Notice that I can replace the line by
The text was updated successfully, but these errors were encountered: