-
Notifications
You must be signed in to change notification settings - Fork 85
New issue
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
Broken (possibly outdated?) setup instructions regarding coq-prog-name
#596
Comments
Interestingly, starting |
Thanks for the report! Above the only occurrence of |
Indeed this part of the manual needs update. |
fix #596 - outdated documentation for setup coq-prog-xxx.
The instructions in https://proofgeneral.github.io/doc/master/userman/Obtaining-and-Installing/ instruct users to add
-emacs
to theircoq-prog-name
variable:PG/doc/ProofGeneral.texi
Line 5976 in cc5bfd0
It seems this actually breaks PG, leading to failures such as
or
on newer versions of PG.
The text was updated successfully, but these errors were encountered: